spot/doc/org/.gitignore
Alexandre Duret-Lutz e2b4d38ade more file to ignore
* bin/.gitignore, doc/org/.gitignore: Here.
2016-10-03 16:15:35 +02:00

20 lines
161 B
Text

*.png
err
*.html
*.csv
*.json
scheck.ltl
sum.py
init.el
fagfb
gfagfb
bogus
bogus-grind
example.hoa
sample.ltl
*.ltl
*.hoa
g++wrap
*.fls
sitemap.org
plantuml.jar