Skip to content

Commit

Permalink
README.md: )
Browse files Browse the repository at this point in the history
  • Loading branch information
@eras
eras committed Feb 26, 2022
1 parent eb58aca commit a97a75f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ This is a tool for generating sequence diagrams from
[TLC](https://github.com/tlaplus/tlaplus/) state traces. It produces
SVGs that look like [this PDF](doc/sequence.pdf).

This tool is licensed under the [MIT license](LICENSE.MIT].
This tool is licensed under the [MIT license](LICENSE.MIT).

Copyright: Erkki Seppälä <[email protected]> 2022

Expand Down

0 comments on commit a97a75f

Please sign in to comment.