summaryrefslogtreecommitdiff
path: root/ocaml/.editorconfig
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/.editorconfig')
-rw-r--r--ocaml/.editorconfig27
1 files changed, 27 insertions, 0 deletions
diff --git a/ocaml/.editorconfig b/ocaml/.editorconfig
new file mode 100644
index 0000000..64b41ca
--- /dev/null
+++ b/ocaml/.editorconfig
@@ -0,0 +1,27 @@
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+indent_style = space
+
+[*.{ml,mli}]
+indent_style = space
+indent_size = 2
+tab_width = 2
+
+[*.{opam,dune,install,sexp,conf,in}]
+indent_style = space
+indent_size = 4
+
+[*.{md}]
+indent_style = tab
+trim_trailing_whitespace = true
+
+[*.{nix}]
+indent_style = space
+indent_size = 2
+insert_final_newline = false
+trim_trailing_whitespace = true