projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70204ad) | patch
svn:ignore for build stuff; add Liana to AUTHORS
authorMorgan Deters <mdeters@gmail.com>
Wed, 10 Feb 2010 22:21:41 +0000 (22:21 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 10 Feb 2010 22:21:41 +0000 (22:21 +0000)
commitc449010208acb1f7a98e2eee722e71b7db472547
tree17a9957d0c0cf20347d6f368cd9624294c26acf5tree
parent70204ad37ee495c3eab3d07d2c132ee4e00d1cb4commit | diff
svn:ignore for build stuff; add Liana to AUTHORS
AUTHORS diff | blob | history