projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1472bf8)
Adding .cvc4_config to .gitignore
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 27 May 2010 18:39:22 +0000 (18:39 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 27 May 2010 18:39:22 +0000 (18:39 +0000)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 63534333a6721c33752231f3f8c336693a773674..c5d2ff7969a2f0cf0751b40a579534fcbb441521 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ generated/
 #*#
 *.gcov
 /lcov/
+.cvc4_config