CommunityModules icon indicating copy to clipboard operation
CommunityModules copied to clipboard
verified publisher icon tlaplus

purged UniqueString from the community modules

Open zwergziege opened this issue 3 years ago • 0 comments

The companion of https://github.com/tlaplus/tlaplus/pull/716 I think it is best to have potential discussions regarding this PR over there.

zwergziege avatar Feb 18 '22 18:02 zwergziege