diff options
| author | Guillaume Melquiond | 2015-09-17 07:49:19 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-09-17 07:49:19 +0200 |
| commit | 5a0da4d8ea9b590e30ba9b194789b348be6bbc4f (patch) | |
| tree | cd9afd1c5664dfb7e0acad25052f65a66d5b2d8a /dev/db | |
| parent | 16db94e6c142217a81cc78be8788137617c24de7 (diff) | |
Fix Windows installer.
The theories/ directory contains no cmi/cmxs files when native_compute is
disabled, so do not try to ship them.
Diffstat (limited to 'dev/db')
0 files changed, 0 insertions, 0 deletions