projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9f9bb26 a4bc1c0)
Merge pull request #99 from 4tXJ7f/fix_dist_build3
authorClark Barrett <barrett@cs.stanford.edu>
Thu, 27 Oct 2016 17:11:22 +0000 (10:11 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Oct 2016 17:11:22 +0000 (10:11 -0700)
Fix typo in Makefile that makes distcheck fail


Trivial merge