projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce6c366) | patch
add a THANKS file for listing external source code contributors
authorMorgan Deters <mdeters@gmail.com>
Wed, 5 Sep 2012 20:51:34 +0000 (20:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 5 Sep 2012 20:51:34 +0000 (20:51 +0000)
commit7c0efea7df301c32b56949054973217e41ce31ab
tree7803e29ef7e1854054a51ab2893b1d7397b4737atree
parentce6c366450cc9cb30c254f26089696c1c7c913c0commit | diff
add a THANKS file for listing external source code contributors
THANKS [new file with mode: 0644] blob