diff options
Diffstat (limited to '2025/ocaml/.editorconfig')
| -rw-r--r-- | 2025/ocaml/.editorconfig | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/2025/ocaml/.editorconfig b/2025/ocaml/.editorconfig deleted file mode 100644 index 64b41ca..0000000 --- a/2025/ocaml/.editorconfig +++ /dev/null @@ -1,27 +0,0 @@ -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 |