projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66a0614) | patch
README: Remove project leaders, history.
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 24 Apr 2019 18:46:33 +0000 (11:46 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Wed, 24 Apr 2019 18:46:33 +0000 (11:46 -0700)
commite256d610ca0db37e964b9a2b4530470e8589b958
tree19ca5096cd05f966d4ffb63dae58529d9976c8bftree
parent66a061418ac025024910994a41d6ad0080307daacommit | diff
README: Remove project leaders, history.
README.md diff | blob | history