diff options
| author | Brian Campbell | 2018-01-29 16:10:03 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-29 16:55:45 +0000 |
| commit | ebe835cb795a2ebaa06cdb4880b80fdd1d981a56 (patch) | |
| tree | 8d496e42af4ecbae61edbec5e6caa6ee7a55550e /src/initial_check.ml | |
| parent | b5df5e96d1e878121e64ba7e6a2669efe1b710e7 (diff) | |
Set maximum split size to work with aarch64 no vector
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions