From f3525b1b788bf4891b5fa00ba906ba58932f71cc Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Tue, 30 Mar 2010 20:51:08 +0000
Subject: Removing unnecessary .gitignores

---
 src/theory/uf/.gitignore | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 src/theory/uf/.gitignore

(limited to 'src/theory/uf')

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
-- 
cgit v1.2.3