diff options
| author | Vincent Laporte | 2018-10-09 12:47:47 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-09 12:47:47 +0000 |
| commit | 54b4c6e3f916f3913920bbd7a778f477543f0afb (patch) | |
| tree | 977b86972bc6804b5ea381b950eecf2a08f966c7 /plugins/syntax/plugin_base.dune | |
| parent | 77a8c7667c9a5186f6ed24bbab766f50de058129 (diff) | |
[test-suite] use “-async-proofs-cache force” when compiling
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions