projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f66dd1) | patch
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distc...
authorTim King <taking@cs.nyu.edu>
Tue, 27 Oct 2015 06:59:54 +0000 (02:59 -0400)
committerTim King <taking@cs.nyu.edu>
Tue, 27 Oct 2015 06:59:54 +0000 (02:59 -0400)
commitb455f5cde8b84b7951d309604b75a76afd8b8bfa
tree030899ac175fee965313748fd7f72b7ed5957a59tree
parent0f66dd16f35eac64149919f0f4048b422345c5ebcommit | diff
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distcheck.
src/Makefile.am diff | blob | history