From 36f20640348ade028bac11bf23a2a9d84a3373a0 Mon Sep 17 00:00:00 2001 From: rand00 Date: Thu, 3 Feb 2022 14:55:17 +0100 Subject: [PATCH] .ocp-indent: Marked non-default value --- .ocp-indent | 1 + 1 file changed, 1 insertion(+) diff --git a/.ocp-indent b/.ocp-indent index 5953521..e791b33 100644 --- a/.ocp-indent +++ b/.ocp-indent @@ -61,6 +61,7 @@ ppx_stritem_ext = 2 # ) # ) # ) # ) max_indent = 2 +# < default = 4 #