projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 760c2f5) | patch
Modifying options/Makefile.am to pass distcheck. There is an unpleasant hack in this...
authorTim King <taking@google.com>
Thu, 3 Dec 2015 05:29:39 +0000 (21:29 -0800)
committerTim King <taking@google.com>
Thu, 3 Dec 2015 05:29:39 +0000 (21:29 -0800)
commit2972e1c676899da6a85b1ddea4507d47e0066cd5
tree5190941f5fccdecb3b8fc9b5ff0b58edc8e9db64tree
parent760c2f5ca2d8147b234db055de055f1c77341096commit | diff
Modifying options/Makefile.am to pass distcheck. There is an unpleasant hack in this fix.
src/options/Makefile.am diff | blob | history