projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa58c38) | patch
Replacing hand-coded autogen.sh with buildconf version
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 28 Jan 2010 17:38:25 +0000 (17:38 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 28 Jan 2010 17:38:25 +0000 (17:38 +0000)
commite4737caa097059882d35e2fab5eed230f1b21cc9
treec6fad54b6efd7e61b1acf8c11539b773747f72c7tree
parentfa58c38371131db68f780c9f6f7e7d3f2e07256acommit | diff
Replacing hand-coded autogen.sh with buildconf version
autogen.sh diff | blob | history