From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 7 Jul 2010 00:01:03 +0000 (+0000)
Subject: Adding config.reconfig to .gitignore
X-Git-Tag: cvc5-1.0.0~8933
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=481c564c68b83925355c82e2d18ade8f1b3fa4db;p=cvc5.git

Adding config.reconfig to .gitignore
---

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