From 481c564c68b83925355c82e2d18ade8f1b3fa4db Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Wed, 7 Jul 2010 00:01:03 +0000
Subject: [PATCH] Adding config.reconfig to .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index c5d2ff796..2bb76f9dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ generated/
 *.gcov
 /lcov/
 .cvc4_config
+config.reconfig
-- 
2.30.2