diff options
| -rw-r--r-- | .editorconfig | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..cd9dfc3 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,19 @@ +; https://editorconfig.org + +root = true + +[*] +end_of_line = lf +insert_final_newline = true +indent_style = space +indent_size = 4 + +[*.{c,h}] +indent_size = 2 + +[*.S] +indent_size = 8 + +[Makefile] +indent_style = tab +indent_size = 8 |