projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bba8528) | patch
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)
commit481c564c68b83925355c82e2d18ade8f1b3fa4db
tree8d7fec0be817536f68f858d8a77c0aee004b58cctree
parentbba85281eef7daefa8a1bd6673d38e1d005cf789commit | diff
Adding config.reconfig to .gitignore
.gitignore diff | blob | history