diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:40 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:40 +0000 |
commit | bc05271730c9bbd096a6dbace366016529933246 (patch) | |
tree | 13a5df83db0f9072dd51119521483f9cb97a1723 /.gitignore | |
parent | b3b663998bbfb5ede569498345a3fedc02a9726f (diff) |
Adding newly generated files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
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/ +*~ +#*# |