projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a0b4c3) | patch
Ignore whitespaces and moved code for contrib/get-authors.
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 22 Mar 2018 00:15:32 +0000 (17:15 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Thu, 22 Mar 2018 00:15:32 +0000 (17:15 -0700)
commitd3528b6db31f9bdff56bc519bbf427b2533c43b8
tree3430e8929ec931986bad2391e6549b827d35c955tree
parent6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307commit | diff
Ignore whitespaces and moved code for contrib/get-authors.
contrib/get-authors diff | blob | history