projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3525b1) | patch
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)
commit0feb76aa01664745642035262b5fe27fb520fbcf
treec911f62c8f4dd334a83cb60c737fa02f82a0f14etree
parentf3525b1b788bf4891b5fa00ba906ba58932f71cccommit | diff
Adding 'generated/' to .gitignore
.gitignore diff | blob | history