projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67c6e89) | patch
clarify wording in README, thanks for finding this Francois!
authorMorgan Deters <mdeters@gmail.com>
Thu, 16 Feb 2012 13:30:28 +0000 (13:30 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 16 Feb 2012 13:30:28 +0000 (13:30 +0000)
commit1632d0cad718fd07e9a987cd14d5fc29a1b450c4
treed13c2dbf1de8c44d95e7057ed1c192daf04f0255tree
parent67c6e89c904f76a268f9297b7589559a262583e0commit | diff
clarify wording in README, thanks for finding this Francois!
README diff | blob | history