projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d87f13) | patch
Added Makai and Yoni to get-authors script.
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 22 Jun 2018 18:15:39 +0000 (11:15 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 25 Jun 2018 21:11:54 +0000 (14:11 -0700)
commitecb627f2757653a4b6b974faf00c00840bb83160
treea666ef7edc118a5c162f68cdfb299a415973cddctree
parent4d87f13c473d8c8b9fc47b7823157ea8c57d3f89commit | diff
Added Makai and Yoni to get-authors script.
contrib/get-authors diff | blob | history