projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbf04ae) | patch
cut-release: git co -> git checkout
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 6 Jul 2017 22:43:06 +0000 (15:43 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 6 Jul 2017 22:43:06 +0000 (15:43 -0700)
commit9aeedc36448513517a16c81ac15ef8bc0c68cb9f
tree9baa689fffa55d0e3550f84d3ac0e5e0ebfebab6tree
parentfbf04ae79f08d30fc19efe50d3c215dc347bf82fcommit | diff
cut-release: git co -> git checkout
contrib/cut-release diff | blob | history