From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 31 Mar 2010 19:53:38 +0000 (+0000)
Subject: Adding 'generated/' to .gitignore
X-Git-Tag: cvc5-1.0.0~9159
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0feb76aa01664745642035262b5fe27fb520fbcf;p=cvc5.git

Adding 'generated/' to .gitignore
---

diff --git a/.gitignore b/.gitignore
index bcf6af546..10188bb99 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,4 +17,4 @@ Makefile.in
 callgrind.out*
 gmon.out
 stamp-generated
-generated
+generated/