projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10c0624) | patch
"prerelease -> release" in INSTALL (#2944)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 9 Apr 2019 00:55:50 +0000 (19:55 -0500)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Apr 2019 00:55:50 +0000 (17:55 -0700)
commit4c166cb8e9294fef3f92b5a361d145c83b27fcdd
treea6ec9d37d8f543a31a1a49cf2b70699464847d6btree
parent10c06247232c096e09363120a903abc6bc5b71abcommit | diff
"prerelease -> release" in INSTALL (#2944)
INSTALL.md diff | blob | history