diff options
| author | Joris | 2020-02-17 10:13:01 +0100 |
|---|---|---|
| committer | Joris | 2020-02-17 10:13:01 +0100 |
| commit | a2880850a78fc36e2612215c83cbdeac0c980a5b (patch) | |
| tree | e6e103df72070c6ec54e85664ff8b8c0b19c5192 /.ocamlformat | |
| parent | 25afb0bde9b8a2c064135a534231c232a461b341 (diff) | |
Update default prepare to 10 seconds
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions