diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs index 1a23f0ca9a..17b384de13 100644 --- a/.git-blame-ignore-revs +++ b/.git-blame-ignore-revs @@ -1,2 +1,4 @@ # Auto-format the whole project using OCamlformat 75efc08df487fa1a89fb86e446aadc8f6273b5bb +# ocamlformat 0.17.0 +b0c03d1b76f7da7d88d40bbc5029accfa9228112 diff --git a/.ocp-indent b/.ocp-indent index e809e8e2ac..157663b78d 100644 --- a/.ocp-indent +++ b/.ocp-indent @@ -1,5 +1,4 @@ normal -max_indent = 2 -strict_with = auto align_ops = false align_params = never +match_clause = 4