From f3525b1b788bf4891b5fa00ba906ba58932f71cc Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Tue, 30 Mar 2010 20:51:08 +0000 Subject: Removing unnecessary .gitignores --- src/.gitignore | 2 -- src/context/.gitignore | 2 -- src/expr/.gitignore | 2 -- src/include/.gitignore | 2 +- src/main/.gitignore | 2 -- src/parser/.gitignore | 2 -- src/parser/cvc/.gitignore | 4 ---- src/parser/smt/.gitignore | 4 ---- src/prop/.gitignore | 2 -- src/prop/minisat/.gitignore | 2 -- src/smt/.gitignore | 2 -- src/theory/.gitignore | 2 -- src/theory/arith/.gitignore | 2 -- src/theory/arrays/.gitignore | 2 -- src/theory/booleans/.gitignore | 1 - src/theory/bv/.gitignore | 2 -- src/theory/uf/.gitignore | 2 -- src/util/.gitignore | 2 -- 18 files changed, 1 insertion(+), 38 deletions(-) delete mode 100644 src/.gitignore delete mode 100644 src/context/.gitignore delete mode 100644 src/main/.gitignore delete mode 100644 src/parser/.gitignore delete mode 100644 src/parser/cvc/.gitignore delete mode 100644 src/parser/smt/.gitignore delete mode 100644 src/prop/.gitignore delete mode 100644 src/prop/minisat/.gitignore delete mode 100644 src/smt/.gitignore delete mode 100644 src/theory/arith/.gitignore delete mode 100644 src/theory/arrays/.gitignore delete mode 100644 src/theory/booleans/.gitignore delete mode 100644 src/theory/bv/.gitignore delete mode 100644 src/theory/uf/.gitignore delete mode 100644 src/util/.gitignore (limited to 'src') diff --git a/src/.gitignore b/src/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/context/.gitignore b/src/context/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/context/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/expr/.gitignore b/src/expr/.gitignore index 4618e07b0..6489199dc 100644 --- a/src/expr/.gitignore +++ b/src/expr/.gitignore @@ -1,4 +1,2 @@ -/.deps -/Makefile.in /kind.h /metakind.h diff --git a/src/include/.gitignore b/src/include/.gitignore index b336cc7ce..274bc504a 100644 --- a/src/include/.gitignore +++ b/src/include/.gitignore @@ -1,2 +1,2 @@ /Makefile -/Makefile.in + diff --git a/src/main/.gitignore b/src/main/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/main/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/parser/.gitignore b/src/parser/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/parser/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/parser/cvc/.gitignore b/src/parser/cvc/.gitignore deleted file mode 100644 index 7fd0cf319..000000000 --- a/src/parser/cvc/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/.deps -/stamp-generated -/generated -/Makefile.in diff --git a/src/parser/smt/.gitignore b/src/parser/smt/.gitignore deleted file mode 100644 index 7fd0cf319..000000000 --- a/src/parser/smt/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/.deps -/stamp-generated -/generated -/Makefile.in diff --git a/src/prop/.gitignore b/src/prop/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/prop/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/prop/minisat/.gitignore b/src/prop/minisat/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/prop/minisat/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/smt/.gitignore b/src/smt/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/smt/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/theory/.gitignore b/src/theory/.gitignore index daddcd51e..4d15f70c0 100644 --- a/src/theory/.gitignore +++ b/src/theory/.gitignore @@ -1,3 +1 @@ -/.deps -/Makefile.in /theoryof_table.h diff --git a/src/theory/arith/.gitignore b/src/theory/arith/.gitignore deleted file mode 100644 index 15fb9b26d..000000000 --- a/src/theory/arith/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/Makefile.in -/.deps diff --git a/src/theory/arrays/.gitignore b/src/theory/arrays/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/theory/arrays/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/theory/booleans/.gitignore b/src/theory/booleans/.gitignore deleted file mode 100644 index 10a7e8d6c..000000000 --- a/src/theory/booleans/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/Makefile.in diff --git a/src/theory/bv/.gitignore b/src/theory/bv/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/theory/bv/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in diff --git a/src/theory/uf/.gitignore b/src/theory/uf/.gitignore deleted file mode 100644 index 15fb9b26d..000000000 --- a/src/theory/uf/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/Makefile.in -/.deps diff --git a/src/util/.gitignore b/src/util/.gitignore deleted file mode 100644 index f39e98071..000000000 --- a/src/util/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/.deps -/Makefile.in -- cgit v1.2.3