diff options
Diffstat (limited to '2024/OCaml/.editorconfig')
| -rw-r--r-- | 2024/OCaml/.editorconfig | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/2024/OCaml/.editorconfig b/2024/OCaml/.editorconfig deleted file mode 100644 index 24b0621..0000000 --- a/2024/OCaml/.editorconfig +++ /dev/null @@ -1,21 +0,0 @@ -root = true - -[*] -charset = utf-8 -end_of_line = lf -insert_final_newline = true -trim_trailing_whitespace = true - -[*.ml] -indent_style = space -indent_size = 2 - -[*.php] -indent_style = space -indent_size = 4 - -[*.go] -indent_style = tab - -[Makefile] -indent_style = tab |