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/parser/cvc/.gitignore | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 src/parser/cvc/.gitignore (limited to 'src/parser/cvc') 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 -- cgit v1.2.3