projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30b9f4a) | patch
Fix email address of the bugs email list and delete obsolete RELEASE-NOTES.
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Apr 2019 00:11:57 +0000 (17:11 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Apr 2019 00:11:57 +0000 (17:11 -0700)
commit10c06247232c096e09363120a903abc6bc5b71ab
treece42e757eb0f4fb67e748c36e148255c882c07c1tree
parent30b9f4ae91c9dba12ac0d9253d71bbd21a073e04commit | diff
Fix email address of the bugs email list and delete obsolete RELEASE-NOTES.
README.md diff | blob | history
RELEASE-NOTES [deleted file] blob | history