.gitignore 122 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
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
12
spot
13
spot-x
14
15
*.a
*.1
16
*.7
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
17
lck-*