.ocp-indent: Marked non-default value

This commit is contained in:
rand00 2022-02-03 14:55:17 +01:00
parent 5a6ce19c33
commit 36f2064034

View file

@ -61,6 +61,7 @@ ppx_stritem_ext = 2
# ) # )
# ) # )
max_indent = 2
# < default = 4
#