projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0189f4b) | patch
Add Thomas Hunger to THANKS file (for having submitted patches).
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 16 Oct 2014 17:59:54 +0000 (13:59 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 16 Oct 2014 17:59:54 +0000 (13:59 -0400)
commit09e68572fce8b0eba9a428dd314c59690f520498
tree063c40be022fb0a38adab831d338f58a36b21bd9tree
parent0189f4b0e62edefa2b93f9bd4991a0c15c6cc3d5commit | diff
Add Thomas Hunger to THANKS file (for having submitted patches).
THANKS diff | blob | history