diff options
| -rw-r--r-- | .editorconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..dec109452 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,14 @@ +[*] +charset = utf-8 +end_of_line = lf +insert_final_newline = true + +[*.[ch]] +indent_style = tab +indent_size = 8 +trim_trailing_whitespace = true + +[*.sym] +indent_style = tab +indent_size = 4 +trim_trailing_whitespace = true |