projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca64e04) | patch
Do not use git blame -C in get-authors (too many false positives).
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 22 Jun 2018 19:58:13 +0000 (12:58 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 25 Jun 2018 21:11:54 +0000 (14:11 -0700)
commit897f55537b84bef1dae6cc32b383c76aa2734c1f
tree774e21213f746c3760c6943deee33417a39a9cfdtree
parentca64e0485fd07167e3d4c905b86ef7c372287b05commit | diff
Do not use git blame -C in get-authors (too many false positives).
contrib/get-authors diff | blob | history