.gitignore 117 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1
2
3
autfilt
dstar2tgba
genltl
4
ltl2tgba
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
5
6
ltl2tgta
ltlcross
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
7
ltldo
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
8
9
10
11
ltlfilt
ltlgrind
randaut
randltl
12
spot-x
13
14
*.a
*.1
15
*.7
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
16
lck-*