more files to ignore
This commit is contained in:
parent
c8140de9d6
commit
dd0f01fe03
4 changed files with 5 additions and 0 deletions
1
bench/ltlcounter/.gitignore
vendored
1
bench/ltlcounter/.gitignore
vendored
|
|
@ -1,3 +1,4 @@
|
||||||
*.eps
|
*.eps
|
||||||
results*
|
results*
|
||||||
defs
|
defs
|
||||||
|
out
|
||||||
|
|
|
||||||
2
doc/.gitignore
vendored
2
doc/.gitignore
vendored
|
|
@ -6,3 +6,5 @@ spot.latex
|
||||||
spot.tag
|
spot.tag
|
||||||
*.pdf
|
*.pdf
|
||||||
stamp
|
stamp
|
||||||
|
*.tmp
|
||||||
|
dot
|
||||||
|
|
|
||||||
1
src/sabatest/.gitignore
vendored
Normal file
1
src/sabatest/.gitignore
vendored
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
defs
|
||||||
1
wrap/python/.gitignore
vendored
1
wrap/python/.gitignore
vendored
|
|
@ -9,3 +9,4 @@ buddy.py*
|
||||||
*.loT
|
*.loT
|
||||||
*_wrap.*
|
*_wrap.*
|
||||||
*.pyc
|
*.pyc
|
||||||
|
*/spotimg
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue