projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f3525b1)
Adding 'generated/' to .gitignore
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 31 Mar 2010 19:53:38 +0000 (19:53 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 31 Mar 2010 19:53:38 +0000 (19:53 +0000)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index bcf6af5467802a89ccdc1a1ece37bba8108736c5..10188bb99b59fd40837cc9518a2f9261c5409069 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -17,4 +17,4 @@ Makefile.in
 callgrind.out*
 gmon.out
 stamp-generated
-generated
+generated/