projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0be63) | patch
Changing dependency info in README
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 20:10:16 +0000 (20:10 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 20:10:16 +0000 (20:10 +0000)
commit1004929b17708eb3a6043567f55b5e7b0b1eeab3
treef7d9deba01ed4295df1389fe2e0a77d4a736c05btree
parent8e0be63829441a042ff030b47fa9b9a04b48984dcommit | diff
Changing dependency info in README
README diff | blob | history