spot/debian/.gitignore
Alexandre Duret-Lutz 6f99829a1d help git --status by ignoring more files
* .gitignore, bench/dtgbasat/.gitignore, debian/.gitignore,
doc/org/.gitignore, src/tests/.gitignore, wrap/python/.gitignore: More
files to ignore.
* doc/org/ltlfilt.org: Erase some temporary files.
2015-09-09 00:49:13 +02:00

2 lines
15 B
Text