summarylogtreecommitdiffstats
path: root/.gitignore
blob: 8006cadf4dfdd3e2e3dd4cf4037ad09043275b78 (plain)
1
2
3
4
tla2tools.jar
tla-tools-*.pkg.tar.xz
pkg
src