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 /.ocamlformat | |
| parent | 4892543f6d256e2092902557144596218c451562 (diff) | |
[ocamlformat] Update to ocamlformat 0.15.0
This is necessary to support OCaml 4.11 in development.
Diffstat (limited to '.ocamlformat')
| -rw-r--r-- | .ocamlformat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ocamlformat b/.ocamlformat index a0d4ef6bbb..93f5ab4007 100644 --- a/.ocamlformat +++ b/.ocamlformat @@ -1,4 +1,4 @@ -version=0.14.2 +version=0.15.0 profile=ocamlformat # to enable a whole directory, put "disable=false" in dir/.ocamlformat |