projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23ad0f1) | patch
Fix cut-release script for new configure rules.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 2 Jul 2014 19:22:22 +0000 (15:22 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 2 Jul 2014 19:22:22 +0000 (15:22 -0400)
commita5df93270d53400687d64822a9f2a7e9412a55f5
tree1cbd1722a48d4c7bdf5e8a9b64c59c974ad67e1ctree
parent23ad0f102f8c78fa1ae479af56e48de12a2bae55commit | diff
Fix cut-release script for new configure rules.
contrib/cut-release diff | blob | history