projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d33d0e) | patch
Fix build rule.
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 25 Aug 2014 16:09:54 +0000 (12:09 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 25 Aug 2014 16:09:54 +0000 (12:09 -0400)
commit1688e32c82663410beb8dcc9bce3419122a4a221
tree92656aa445de4b5d537b40cfa84b333d1f4e87e2tree
parent2d33d0ed288841a6a5ee21aa5b253f041deebf10commit | diff
Fix build rule.
Makefile.builds.in diff | blob | history