projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 201ae33 f84bc2f)
Merge pull request #79 from CVC4/fix-mac-build-script
authorTim King <taking@cs.nyu.edu>
Wed, 2 Dec 2015 04:54:15 +0000 (20:54 -0800)
committerTim King <taking@cs.nyu.edu>
Wed, 2 Dec 2015 04:54:15 +0000 (20:54 -0800)
Adds required steps to contrib/mac-build.


Trivial merge