From bc05271730c9bbd096a6dbace366016529933246 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Thu, 1 Apr 2010 19:55:40 +0000
Subject: Adding newly generated files

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 10188bb99..35a7fc332 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 /config.log
 /config.status
 /config.cache
+/cvc4autoconfig.h.in
 /libtool
 /stamp-h1
 /cvc4-*.tar.gz
@@ -18,3 +19,5 @@ callgrind.out*
 gmon.out
 stamp-generated
 generated/
+*~
+#*#
-- 
cgit v1.2.3