From 5f4b7e1f3fef2c7668e2ce616d61acb28ed93b48 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Thu, 23 Apr 2015 10:46:00 +0200 Subject: [PATCH] Remove all cvsignore files. * .cvsignore, bench/.cvsignore, bench/emptchk/.cvsignore, bench/emptchk/models/.cvsignore, bench/ltl2tgba/.cvsignore, buddy/.cvsignore, buddy/doc/.cvsignore, buddy/examples/.cvsignore, buddy/examples/adder/.cvsignore, buddy/examples/bddcalc/.cvsignore, buddy/examples/bddtest/.cvsignore, buddy/examples/calculator/.cvsignore, buddy/examples/cmilner/.cvsignore, buddy/examples/fdd/.cvsignore, buddy/examples/internal/.cvsignore, buddy/examples/milner/.cvsignore, buddy/examples/money/.cvsignore, buddy/examples/queen/.cvsignore, buddy/examples/solitare/.cvsignore, buddy/src/.cvsignore, buddy/tools/.cvsignore, doc/.cvsignore, iface/.cvsignore, src/.cvsignore, src/ltlast/.cvsignore, src/ltlenv/.cvsignore, src/ltlparse/.cvsignore, src/ltlvisit/.cvsignore, src/misc/.cvsignore, src/sanity/.cvsignore, src/tests/.cvsignore, src/twa/.cvsignore, tools/.cvsignore, wrap/.cvsignore, wrap/python/.cvsignore, wrap/python/tests/.cvsignore: here. --- .cvsignore | 10 ---------- bench/.cvsignore | 2 -- bench/emptchk/.cvsignore | 4 ---- bench/emptchk/models/.cvsignore | 1 - bench/ltl2tgba/.cvsignore | 7 ------- buddy/.cvsignore | 13 ------------- buddy/doc/.cvsignore | 2 -- buddy/examples/.cvsignore | 2 -- buddy/examples/adder/.cvsignore | 6 ------ buddy/examples/bddcalc/.cvsignore | 8 -------- buddy/examples/bddtest/.cvsignore | 4 ---- buddy/examples/calculator/.cvsignore | 8 -------- buddy/examples/cmilner/.cvsignore | 5 ----- buddy/examples/fdd/.cvsignore | 5 ----- buddy/examples/internal/.cvsignore | 5 ----- buddy/examples/milner/.cvsignore | 5 ----- buddy/examples/money/.cvsignore | 5 ----- buddy/examples/queen/.cvsignore | 5 ----- buddy/examples/solitare/.cvsignore | 5 ----- buddy/src/.cvsignore | 8 -------- buddy/tools/.cvsignore | 7 ------- doc/.cvsignore | 8 -------- iface/.cvsignore | 2 -- src/.cvsignore | 5 ----- src/ltlast/.cvsignore | 6 ------ src/ltlenv/.cvsignore | 7 ------- src/ltlparse/.cvsignore | 14 -------------- src/ltlvisit/.cvsignore | 6 ------ src/misc/.cvsignore | 6 ------ src/sanity/.cvsignore | 2 -- src/tests/.cvsignore | 22 ---------------------- src/twa/.cvsignore | 6 ------ tools/.cvsignore | 9 --------- wrap/.cvsignore | 2 -- wrap/python/.cvsignore | 11 ----------- wrap/python/tests/.cvsignore | 3 --- 36 files changed, 226 deletions(-) delete mode 100644 .cvsignore delete mode 100644 bench/.cvsignore delete mode 100644 bench/emptchk/.cvsignore delete mode 100644 bench/emptchk/models/.cvsignore delete mode 100644 bench/ltl2tgba/.cvsignore delete mode 100644 buddy/.cvsignore delete mode 100644 buddy/doc/.cvsignore delete mode 100644 buddy/examples/.cvsignore delete mode 100644 buddy/examples/adder/.cvsignore delete mode 100644 buddy/examples/bddcalc/.cvsignore delete mode 100644 buddy/examples/bddtest/.cvsignore delete mode 100644 buddy/examples/calculator/.cvsignore delete mode 100644 buddy/examples/cmilner/.cvsignore delete mode 100644 buddy/examples/fdd/.cvsignore delete mode 100644 buddy/examples/internal/.cvsignore delete mode 100644 buddy/examples/milner/.cvsignore delete mode 100644 buddy/examples/money/.cvsignore delete mode 100644 buddy/examples/queen/.cvsignore delete mode 100644 buddy/examples/solitare/.cvsignore delete mode 100644 buddy/src/.cvsignore delete mode 100644 buddy/tools/.cvsignore delete mode 100644 doc/.cvsignore delete mode 100644 iface/.cvsignore delete mode 100644 src/.cvsignore delete mode 100644 src/ltlast/.cvsignore delete mode 100644 src/ltlenv/.cvsignore delete mode 100644 src/ltlparse/.cvsignore delete mode 100644 src/ltlvisit/.cvsignore delete mode 100644 src/misc/.cvsignore delete mode 100644 src/sanity/.cvsignore delete mode 100644 src/tests/.cvsignore delete mode 100644 src/twa/.cvsignore delete mode 100644 tools/.cvsignore delete mode 100644 wrap/.cvsignore delete mode 100644 wrap/python/.cvsignore delete mode 100644 wrap/python/tests/.cvsignore diff --git a/.cvsignore b/.cvsignore deleted file mode 100644 index f847db02b..000000000 --- a/.cvsignore +++ /dev/null @@ -1,10 +0,0 @@ -Makefile -Makefile.in -configure -config.log -config.status -aclocal.m4 -autom4te.cache -libtool -*.tar.gz -*.patch diff --git a/bench/.cvsignore b/bench/.cvsignore deleted file mode 100644 index 282522db0..000000000 --- a/bench/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile -Makefile.in diff --git a/bench/emptchk/.cvsignore b/bench/emptchk/.cvsignore deleted file mode 100644 index 5dd394a31..000000000 --- a/bench/emptchk/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -Makefile -Makefile.in -defs -pan* diff --git a/bench/emptchk/models/.cvsignore b/bench/emptchk/models/.cvsignore deleted file mode 100644 index d16d9dc34..000000000 --- a/bench/emptchk/models/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.tgba diff --git a/bench/ltl2tgba/.cvsignore b/bench/ltl2tgba/.cvsignore deleted file mode 100644 index 56a141e28..000000000 --- a/bench/ltl2tgba/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -Makefile.in -Makefile -*.cfg -*.txt -*.log -defs -ltl2baw.pl diff --git a/buddy/.cvsignore b/buddy/.cvsignore deleted file mode 100644 index af651cd16..000000000 --- a/buddy/.cvsignore +++ /dev/null @@ -1,13 +0,0 @@ -Makefile.in -Makefile -aclocal.m4 -configure -tools -config.log -config.status -libtool -*.tar.gz -autom4te.cache -config.h -config.h.in -stamp-h1 diff --git a/buddy/doc/.cvsignore b/buddy/doc/.cvsignore deleted file mode 100644 index 3dda72986..000000000 --- a/buddy/doc/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile.in -Makefile diff --git a/buddy/examples/.cvsignore b/buddy/examples/.cvsignore deleted file mode 100644 index 3dda72986..000000000 --- a/buddy/examples/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile.in -Makefile diff --git a/buddy/examples/adder/.cvsignore b/buddy/examples/adder/.cvsignore deleted file mode 100644 index f98457e44..000000000 --- a/buddy/examples/adder/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -Makefile.in -Makefile -adder -.deps -.libs -adder diff --git a/buddy/examples/bddcalc/.cvsignore b/buddy/examples/bddcalc/.cvsignore deleted file mode 100644 index 51e0dbd79..000000000 --- a/buddy/examples/bddcalc/.cvsignore +++ /dev/null @@ -1,8 +0,0 @@ -Makefile.in -Makefile -lexer.cxx -parser.cxx -parser.h -.deps -.libs -bddcalc diff --git a/buddy/examples/bddtest/.cvsignore b/buddy/examples/bddtest/.cvsignore deleted file mode 100644 index 796d735e8..000000000 --- a/buddy/examples/bddtest/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -Makefile -Makefile.in -.deps -bddtest diff --git a/buddy/examples/calculator/.cvsignore b/buddy/examples/calculator/.cvsignore deleted file mode 100644 index 51e0dbd79..000000000 --- a/buddy/examples/calculator/.cvsignore +++ /dev/null @@ -1,8 +0,0 @@ -Makefile.in -Makefile -lexer.cxx -parser.cxx -parser.h -.deps -.libs -bddcalc diff --git a/buddy/examples/cmilner/.cvsignore b/buddy/examples/cmilner/.cvsignore deleted file mode 100644 index bb25749f1..000000000 --- a/buddy/examples/cmilner/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -milner diff --git a/buddy/examples/fdd/.cvsignore b/buddy/examples/fdd/.cvsignore deleted file mode 100644 index 170fe6039..000000000 --- a/buddy/examples/fdd/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -statespace diff --git a/buddy/examples/internal/.cvsignore b/buddy/examples/internal/.cvsignore deleted file mode 100644 index b0ce20d34..000000000 --- a/buddy/examples/internal/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -bddtest diff --git a/buddy/examples/milner/.cvsignore b/buddy/examples/milner/.cvsignore deleted file mode 100644 index bb25749f1..000000000 --- a/buddy/examples/milner/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -milner diff --git a/buddy/examples/money/.cvsignore b/buddy/examples/money/.cvsignore deleted file mode 100644 index 0d9413c74..000000000 --- a/buddy/examples/money/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -money diff --git a/buddy/examples/queen/.cvsignore b/buddy/examples/queen/.cvsignore deleted file mode 100644 index a18b08746..000000000 --- a/buddy/examples/queen/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -queen diff --git a/buddy/examples/solitare/.cvsignore b/buddy/examples/solitare/.cvsignore deleted file mode 100644 index 8f1d8f09c..000000000 --- a/buddy/examples/solitare/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile.in -Makefile -.deps -.libs -solitare diff --git a/buddy/src/.cvsignore b/buddy/src/.cvsignore deleted file mode 100644 index 077228768..000000000 --- a/buddy/src/.cvsignore +++ /dev/null @@ -1,8 +0,0 @@ -*.lo -*.la -.libs -.deps -Makefile.in -Makefile -bddtest - diff --git a/buddy/tools/.cvsignore b/buddy/tools/.cvsignore deleted file mode 100644 index 9e25a97e6..000000000 --- a/buddy/tools/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -config.guess -config.sub -depcomp -install-sh -ltmain.sh -missing -mkinstalldirs diff --git a/doc/.cvsignore b/doc/.cvsignore deleted file mode 100644 index 5a9d84f13..000000000 --- a/doc/.cvsignore +++ /dev/null @@ -1,8 +0,0 @@ -Doxyfile -Makefile -Makefile.in -spot.html -spot.latex -*.pdf -stamp - diff --git a/iface/.cvsignore b/iface/.cvsignore deleted file mode 100644 index b840c2180..000000000 --- a/iface/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile.in -Makefile \ No newline at end of file diff --git a/src/.cvsignore b/src/.cvsignore deleted file mode 100644 index 6a5900caf..000000000 --- a/src/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -.deps -Makefile -Makefile.in -.libs -libspot.la diff --git a/src/ltlast/.cvsignore b/src/ltlast/.cvsignore deleted file mode 100644 index 6fe665a04..000000000 --- a/src/ltlast/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -.deps -Makefile -Makefile.in -*.lo -*.la -.libs diff --git a/src/ltlenv/.cvsignore b/src/ltlenv/.cvsignore deleted file mode 100644 index df884f89f..000000000 --- a/src/ltlenv/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -.deps -Makefile -Makefile.in -libltlenv.a -*.lo -*.la -.libs diff --git a/src/ltlparse/.cvsignore b/src/ltlparse/.cvsignore deleted file mode 100644 index 3ac0ce0a5..000000000 --- a/src/ltlparse/.cvsignore +++ /dev/null @@ -1,14 +0,0 @@ -.deps -Makefile -Makefile.in -location.hh -ltlparse.cc -ltlparse.hh -ltlparse.output -ltlscan.cc -position.hh -readltl -stack.hh -*.lo -*.la -.libs diff --git a/src/ltlvisit/.cvsignore b/src/ltlvisit/.cvsignore deleted file mode 100644 index 6fe665a04..000000000 --- a/src/ltlvisit/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -.deps -Makefile -Makefile.in -*.lo -*.la -.libs diff --git a/src/misc/.cvsignore b/src/misc/.cvsignore deleted file mode 100644 index 6e5ca7ed4..000000000 --- a/src/misc/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -Makefile -Makefile.in -.deps -.libs -*.lo -*.la diff --git a/src/sanity/.cvsignore b/src/sanity/.cvsignore deleted file mode 100644 index 3dda72986..000000000 --- a/src/sanity/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile.in -Makefile diff --git a/src/tests/.cvsignore b/src/tests/.cvsignore deleted file mode 100644 index b7bfec36b..000000000 --- a/src/tests/.cvsignore +++ /dev/null @@ -1,22 +0,0 @@ -.deps -Makefile -Makefile.in -defs -explicit -.libs -tgbaread -readsave -ltl2tgba -ltlprod -bddprod -explprod -*.ps -*.dot -tripprod -mixprod -spotlbtt -ltlmagic -expldot -powerset -reduccmp -reductgba diff --git a/src/twa/.cvsignore b/src/twa/.cvsignore deleted file mode 100644 index 799fc9785..000000000 --- a/src/twa/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -.deps -.libs -*.lo -*.la -Makefile -Makefile.in diff --git a/tools/.cvsignore b/tools/.cvsignore deleted file mode 100644 index af3203f4e..000000000 --- a/tools/.cvsignore +++ /dev/null @@ -1,9 +0,0 @@ -depcomp -install-sh -missing -mkinstalldirs -py-compile -config.guess -config.sub -ltmain.sh -compile diff --git a/wrap/.cvsignore b/wrap/.cvsignore deleted file mode 100644 index 282522db0..000000000 --- a/wrap/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile -Makefile.in diff --git a/wrap/python/.cvsignore b/wrap/python/.cvsignore deleted file mode 100644 index 64a1cd01c..000000000 --- a/wrap/python/.cvsignore +++ /dev/null @@ -1,11 +0,0 @@ -.deps -.libs -Makefile -Makefile.in -*.la -spot.py* -buddy.py* -*.lo -*.loT -*_wrap.* -*.pyc diff --git a/wrap/python/tests/.cvsignore b/wrap/python/tests/.cvsignore deleted file mode 100644 index bef05ca47..000000000 --- a/wrap/python/tests/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -Makefile -Makefile.in -run