.gitignore 64 Bytes
Newer Older
1
ltlfilt
2
ltl2tgba
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
3
ltl2tgta
4
5
randltl
genltl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
6
ltlcross
7
8
*.a
*.1
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
9
lck-*