diff options
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/.editorconfig b/.editorconfig index 24b0621..f999431 100644 --- a/.editorconfig +++ b/.editorconfig @@ -5,17 +5,3 @@ 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 |