projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0647474) | patch
re-adding comment about available languages
authorMorgan Deters <mdeters@gmail.com>
Tue, 7 Feb 2012 22:13:12 +0000 (22:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 7 Feb 2012 22:13:12 +0000 (22:13 +0000)
commitd4727aa4f9efb41a2a1db699f477e643426a0740
treee40240865e3e5f6fc2db825f7461044635395504tree
parent0647474e9b8ab6b147551e52cb7d497a80b37a13commit | diff
re-adding comment about available languages
configure.ac diff | blob | history