projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1e7a91) | patch
Adding an additional search path to configure.ac for cxxtestgen to reflect the cxxtes...
authorTim King <tim.king@imag.fr>
Fri, 16 Jan 2015 10:31:33 +0000 (11:31 +0100)
committerTim King <tim.king@imag.fr>
Mon, 19 Jan 2015 12:07:34 +0000 (13:07 +0100)
commitdc38452fb64b58c96c73b8bcab7d89fc86b0ecdd
tree8cd34b3075c3112fde97b09c6a311bab48dd970btree
parentb1e7a911b20df1537dbd4226ab0c90fbed686f0ccommit | diff
Adding an additional search path to configure.ac for cxxtestgen to reflect the cxxtest git repository.
configure.ac diff | blob | history