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