From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Thu, 27 May 2010 18:39:22 +0000 (+0000)
Subject: Adding .cvc4_config to .gitignore
X-Git-Tag: cvc5-1.0.0~9038
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bb912d51d8e4134b7e0527aa196951801355d9c7;p=cvc5.git

Adding .cvc4_config to .gitignore
---

diff --git a/.gitignore b/.gitignore
index 63534333a..c5d2ff796 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ generated/
 #*#
 *.gcov
 /lcov/
+.cvc4_config