diff options
| author | Emilio Jesus Gallego Arias | 2019-12-13 15:41:53 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-13 21:27:08 +0100 |
| commit | 8b8a3858f34782eeb489c43c758e8c8c1f75c108 (patch) | |
| tree | e8589934668b1475d1a562f00cd3e646845f307d /.ocamlformat | |
| parent | c8cc1ac7fabb52ddfe50aee714bb7e1a1c3d3bc1 (diff) | |
[micromega] Enable ocamlformat.
Diffstat (limited to '.ocamlformat')
| -rw-r--r-- | .ocamlformat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ocamlformat b/.ocamlformat index 3c6f577afd..59883180e5 100644 --- a/.ocamlformat +++ b/.ocamlformat @@ -4,3 +4,4 @@ sequence-style=terminator cases-exp-indent=2 field-space=loose exp-grouping=preserve +break-cases=fit |