diff options
author | Blaž Hrastnik | 2021-09-03 02:03:34 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-09-03 02:03:34 +0000 |
commit | 4c410eef8720db0c92f39a050c4c5658636013fa (patch) | |
tree | ff0bc8dc19ac321675736a7e18ef8ca7aa95d414 /runtime/queries/ocaml/indents.toml | |
parent | 9c64650a26cf03207f93c9eeddbafb12edccbf6e (diff) | |
parent | 7e1123680f474bff5113db189f63ca7f948781a5 (diff) |
Merge remote-tracking branch 'origin/master' into debug
Diffstat (limited to 'runtime/queries/ocaml/indents.toml')
-rw-r--r-- | runtime/queries/ocaml/indents.toml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/runtime/queries/ocaml/indents.toml b/runtime/queries/ocaml/indents.toml new file mode 100644 index 00000000..9b6462d8 --- /dev/null +++ b/runtime/queries/ocaml/indents.toml @@ -0,0 +1,13 @@ +indent = [ + "let_binding", + "type_binding", + "structure", + "signature", + "record_declaration", + "function_expression", + "match_case", +] + +oudent = [ + "}", +] |