projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adef38f) | patch
Use consistent author names for the copyright headers.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 7 Jul 2017 21:45:27 +0000 (14:45 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Fri, 7 Jul 2017 21:45:27 +0000 (14:45 -0700)
commit71b92ec515a27e8a40a7e85e6cbd6a862482574e
tree70ed91c0c5d7d63142d22cf4c4f19f28685207c9tree
parentadef38f318e055c09db85e483040528d68d394e5commit | diff
Use consistent author names for the copyright headers.
contrib/get-authors diff | blob | history