From ec9dffc7801d878092de39107adca04980bf314d Mon Sep 17 00:00:00 2001 From: tali Date: Sat, 2 Dec 2023 17:16:45 -0500 Subject: [PATCH] ocp-indent no maximum --- .ocp-indent | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ocp-indent b/.ocp-indent index a38ac7b..951a5ca 100644 --- a/.ocp-indent +++ b/.ocp-indent @@ -4,7 +4,7 @@ in = 0 with = 0 match_clause = 2 ppx_stritem_ext = 2 -max_indent = 4 +max_indent = 1000 strict_with = never strict_else = always strict_comments = false