diff options
| -rw-r--r-- | .editorconfig | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/.editorconfig b/.editorconfig index f7a6d655..9d7d189b 100644 --- a/.editorconfig +++ b/.editorconfig @@ -2,10 +2,16 @@ root = true -[*.{c,h}] +[*] charset = utf-8 end_of_line = lf +trim_trailing_whitespace = true +insert_final_newline = true + +[*.{c,h}] indent_size = 8 indent_style = tab -insert_final_newline = true -trim_trailing_whitespace = true + +[*.py] +indent_size = 4 +indent_style = space |