projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b596df5) | patch
get-authors: Readd option -C to git blame command.
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 25 Mar 2019 18:39:17 +0000 (11:39 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 25 Mar 2019 18:39:17 +0000 (11:39 -0700)
commitbb5553d4d19cd3373c99062e508c8cef8686e00d
tree87b72181a221d8c775e2a9effc6d9c799a93f784tree
parentb596df5c4d0745cc8d290d1a7715bbbece015d3ccommit | diff
get-authors: Readd option -C to git blame command.
contrib/get-authors diff | blob | history