projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1472bf8) | patch
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)
commitbb912d51d8e4134b7e0527aa196951801355d9c7
treefdd07f01aa720640e283339ad7d3343ca70a9611tree
parent1472bf8bd2ed7c4b1a45c9526fefd9fd74439ce7commit | diff
Adding .cvc4_config to .gitignore
.gitignore diff | blob | history