projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bba8528)
Adding config.reconfig to .gitignore
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 00:01:03 +0000 (00:01 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 00:01:03 +0000 (00:01 +0000)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index c5d2ff7969a2f0cf0751b40a579534fcbb441521..2bb76f9dc12e33432a87c9ccf9c7b20258de2721 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ generated/
 *.gcov
 /lcov/
 .cvc4_config
+config.reconfig