projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4214468) | patch
fix bug 27: --with-cxxtest-dir=(relative-path) now works
authorMorgan Deters <mdeters@gmail.com>
Wed, 17 Feb 2010 19:07:49 +0000 (19:07 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 17 Feb 2010 19:07:49 +0000 (19:07 +0000)
commit2dadba52dd55084bbec52b3b338add5f8be77c13
tree865ef94f3cda0d4bd465edd91a9c375d42ac660ctree
parent421446830d238e4a82fb0407621b2876b6e46a74commit | diff
fix bug 27: --with-cxxtest-dir=(relative-path) now works
configure.ac diff | blob | history