spice/.ocp-indent

13 lines
193 B
Plaintext
Raw Permalink Normal View History

2023-12-02 22:02:40 +00:00
base = 2
type = 2
in = 0
with = 0
match_clause = 2
ppx_stritem_ext = 2
2023-12-02 22:16:45 +00:00
max_indent = 1000
2023-12-02 22:02:40 +00:00
strict_with = never
strict_else = always
strict_comments = false
align_ops = true
align_params = always