alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

help git --status by ignoring more files

Browse source 
* .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.
This commit is contained in:
Alexandre Duret-Lutz 2015-09-09 00:12:11 +02:00
parent 3b72826e6d
commit 6f99829a1d
7 changed files with 18 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
bench/dtgbasat/.gitignore vendored
View file

@ -1 +1,4 @@
stats.mk
nodups.ltl
info.ltl