projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1a2d113 e90877c)
Merge branch 'release-1.0.x'
authorFrançois Bobot <francois@bobot.eu>
Thu, 6 Dec 2012 12:28:53 +0000 (13:28 +0100)
committerFrançois Bobot <francois@bobot.eu>
Thu, 6 Dec 2012 12:28:53 +0000 (13:28 +0100)
The commits have already been cherry-picked but this commit makes it clear.


Trivial merge