projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dc21bb1)
Ignore config/compile file, which newer autotools create
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 23:28:42 +0000 (18:28 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 23:28:42 +0000 (18:28 -0500)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index ea21c49bc797e6f84fa50a3d21d008f936a046d0..741f08ccdd4f9634fe46c23268e59a2964902ce6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -23,6 +23,7 @@ generated/
 \#*\#
 *.gcov
 /lcov/
+/config/compile
 .cvc4_config
 config.reconfig
 *.swp