.gitignore 161 Bytes
Newer Older
1
2
3
4
5
6
7
*.png
err
*.html
*.csv
*.json
scheck.ltl
sum.py
8
init.el
9
10
fagfb
gfagfb
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
11
12
13
bogus
bogus-grind
example.hoa
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
14
sample.ltl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
15
16
*.ltl
*.hoa
17
18
g++wrap
*.fls
19
sitemap.org
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
20
plantuml.jar