diff options
author | Tim King <taking@cs.nyu.edu> | 2015-10-27 02:59:54 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2015-10-27 02:59:54 -0400 |
commit | b455f5cde8b84b7951d309604b75a76afd8b8bfa (patch) | |
tree | 030899ac175fee965313748fd7f72b7ed5957a59 /src/theory/quantifiers | |
parent | 0f66dd16f35eac64149919f0f4048b422345c5eb (diff) |
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distcheck.
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions