projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df5f15a) | patch
CONTRIBUTING: Fix project leaders link.
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 24 Apr 2019 18:39:12 +0000 (11:39 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Wed, 24 Apr 2019 18:39:12 +0000 (11:39 -0700)
commit66a061418ac025024910994a41d6ad0080307daa
tree3e69e5ac42dd6198e4047780b8a164573ca23965tree
parentdf5f15a17a8f3b92ae1ea776e5cf079d61e6404ccommit | diff
CONTRIBUTING: Fix project leaders link.
CONTRIBUTING.md diff | blob | history