diff options
| author | Emilio Jesus Gallego Arias | 2020-03-15 16:41:56 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 21:35:43 -0400 |
| commit | 7e6b2c6311933f8ef947935f5d4b5897816ab3e4 (patch) | |
| tree | d79e3d7cbc24851164558aa8331b62cddff2eb93 /.ocamlformat | |
| parent | bab3c8de77486b0cf022d8f8a19e94f588190b7c (diff) | |
[ocamlformat] Use doc-comments=before style.
IMHO it is a bit more logical, WDYT?
Diffstat (limited to '.ocamlformat')
| -rw-r--r-- | .ocamlformat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ocamlformat b/.ocamlformat index d5608839fb..6d73a5297f 100644 --- a/.ocamlformat +++ b/.ocamlformat @@ -6,3 +6,4 @@ cases-exp-indent=2 field-space=loose exp-grouping=preserve break-cases=fit +doc-comments=before |