projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f01250d) | patch
make-release: Clarify instructions for pushing commits and tag. (#8524)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 1 Apr 2022 20:28:31 +0000 (13:28 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 20:28:31 +0000 (13:28 -0700)
commit3ed98649f44eb680d2a1a1da43aac830268e2660
tree72402157f97f9856549d5c2242a0afcf3a6a45c4tree
parentf01250d341937155679ae32638907d147fd61088commit | diff
make-release: Clarify instructions for pushing commits and tag. (#8524)
contrib/make-release.py diff | blob | history