Add .gitignore files

2008-03-13 10:45:48 +01:00 · 2008-03-13 10:45:48 +01:00 · 5ef7084b61
commit 5ef7084b61
parent c06c95c4f1
50 changed files with 394 additions and 0 deletions
--- a/bench/.gitignore
+++ b/bench/.gitignore
@ -0,0 +1,2 @@
+Makefile
+Makefile.in
--- a/bench/emptchk/.gitignore
+++ b/bench/emptchk/.gitignore
@ -0,0 +1,4 @@
+Makefile
+Makefile.in
+defs
+pan*
--- a/bench/emptchk/models/.gitignore
+++ b/bench/emptchk/models/.gitignore
@ -0,0 +1 @@
+*.tgba
--- a/bench/ltl2tgba/.gitignore
+++ b/bench/ltl2tgba/.gitignore
@ -0,0 +1,7 @@
+Makefile.in
+Makefile
+*.cfg
+*.txt
+*.log
+defs
+ltl2baw.pl