projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec78128) | patch
Ignoring gcov files
authorChristopher L. Conway <christopherleeconway@gmail.com>
Mon, 5 Apr 2010 19:10:36 +0000 (19:10 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Mon, 5 Apr 2010 19:10:36 +0000 (19:10 +0000)
commit9f87faf986fb0de5cca52b8253f68fd429177d47
treec05c8a502b6328496699cac396690aaab468fb14tree
parentec78128c2cc4958d462b6b6a35538eeef8f28bffcommit | diff
Ignoring gcov files
.gitignore diff | blob | history