summarylogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Collapse)Author
2019-03-17.gitignoreDavid Barri
2011-04-15Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)Antoine Lubineau