projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e045d50) | patch
Adds Google, Inc. to the AUTHORS file.
authorChris Conway <clconway@google.com>
Wed, 2 Dec 2015 21:56:52 +0000 (13:56 -0800)
committerChris Conway <clconway@google.com>
Wed, 2 Dec 2015 21:56:52 +0000 (13:56 -0800)
commit760c2f5ca2d8147b234db055de055f1c77341096
treee5b2edcb10d1f4034c829523660be5c21867ea59tree
parente045d50c0c0f65d44868fead684094746df70108commit | diff
Adds Google, Inc. to the AUTHORS file.
AUTHORS diff | blob | history