diff options
| author | Emilio Jesus Gallego Arias | 2020-04-08 17:29:53 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-13 17:17:14 -0400 |
| commit | bfc26bc3d13af4c6142e716d33e208a3382639fb (patch) | |
| tree | d05befcb21d3eb7290feee853dba6da8704b15fb /.ocamlformat | |
| parent | f2cdb87232e3b04cbd1e199833253fb3e38156f8 (diff) | |
[ocamlformat] Update to 0.14.0
No diff to sources (luckily), see release notes at
https://discuss.ocaml.org/t/ann-ocamlformat-0-14-0/5435 for more
information.
Diffstat (limited to '.ocamlformat')
| -rw-r--r-- | .ocamlformat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.ocamlformat b/.ocamlformat index 4480935e3b..62e609fb55 100644 --- a/.ocamlformat +++ b/.ocamlformat @@ -1,4 +1,4 @@ -version=0.13.0 +version=0.14.0 profile=ocamlformat # to enable a whole directory, put "disable=false" in dir/.ocamlformat @@ -11,4 +11,4 @@ cases-exp-indent=2 field-space=loose exp-grouping=preserve break-cases=fit -doc-comments=before +doc-comments-val=before |