diff options
Diffstat (limited to '2024/OCaml/.editorconfig')
| -rw-r--r-- | 2024/OCaml/.editorconfig | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/2024/OCaml/.editorconfig b/2024/OCaml/.editorconfig new file mode 100644 index 0000000..24b0621 --- /dev/null +++ b/2024/OCaml/.editorconfig @@ -0,0 +1,21 @@ +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 |
