Skip to content

Commit

Permalink
Rename TLC.tla to TLC.tla.SpecifyingSystems
Browse files Browse the repository at this point in the history 
See tlaplus/tlaplus#785
  • Loading branch information
@lemmy
lemmy authored Jan 30, 2023
1 parent d052d2b commit dd4bb5b
Showing 1 changed file with 0 additions and 0 deletions.
0 specifications/SpecifyingSystems/TLC/TLC.tla → ...yingSystems/TLC/TLC.tla.SpecifyingSystems
View file
File renamed without changes.

0 comments on commit dd4bb5b

Please sign in to comment.