diff options
| author | Emilio Jesus Gallego Arias | 2020-09-07 19:17:32 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-14 18:32:33 +0200 |
| commit | 1f1ac8a5eb8ae20533eaacf1e6445e411e2f9cb9 (patch) | |
| tree | 5cfb5fc338e48755549eb3835d24fd0c5e999d83 /dev | |
| parent | 4892543f6d256e2092902557144596218c451562 (diff) | |
[ocamlformat] Update to ocamlformat 0.15.0
This is necessary to support OCaml 4.11 in development.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions