projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb07fe5) | patch
make-release: Change instructions for pushing tag.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 1 Apr 2022 00:49:35 +0000 (17:49 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Fri, 1 Apr 2022 00:49:35 +0000 (17:49 -0700)
commit6b7f763081b98c83629c524a791300dce2919647
tree2035f32ddb819a4e9a900300c1008d384623882btree
parentbb07fe525804d41035b8e7c09f01c24e3b27cdffcommit | diff
make-release: Change instructions for pushing tag.
contrib/make-release.py diff | blob | history