From dd0f01fe03a5fd5119f968b59016aa6bad785664 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 27 Jan 2011 21:47:47 +0100 Subject: [PATCH] more files to ignore --- bench/ltlcounter/.gitignore | 1 + doc/.gitignore | 2 ++ src/sabatest/.gitignore | 1 + wrap/python/.gitignore | 1 + 4 files changed, 5 insertions(+) create mode 100644 src/sabatest/.gitignore diff --git a/bench/ltlcounter/.gitignore b/bench/ltlcounter/.gitignore index 651393aca..417f75153 100644 --- a/bench/ltlcounter/.gitignore +++ b/bench/ltlcounter/.gitignore @@ -1,3 +1,4 @@ *.eps results* defs +out diff --git a/doc/.gitignore b/doc/.gitignore index 28f62a3b3..61e68169b 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -6,3 +6,5 @@ spot.latex spot.tag *.pdf stamp +*.tmp +dot diff --git a/src/sabatest/.gitignore b/src/sabatest/.gitignore new file mode 100644 index 000000000..ef6565fb4 --- /dev/null +++ b/src/sabatest/.gitignore @@ -0,0 +1 @@ +defs diff --git a/wrap/python/.gitignore b/wrap/python/.gitignore index 64a1cd01c..06748a6ea 100644 --- a/wrap/python/.gitignore +++ b/wrap/python/.gitignore @@ -9,3 +9,4 @@ buddy.py* *.loT *_wrap.* *.pyc +*/spotimg