diff options
| author | 2023-06-22 20:17:24 +0200 | |
|---|---|---|
| committer | 2023-06-22 20:17:24 +0200 | |
| commit | 836f91535f421be4cba2840aed55aba3c5f72f1b (patch) | |
| tree | d5b8f7b9a118c4d0a4748c258a2f4b2eb6361dcb /.editorconfig | |
| parent | 8245dfa2d5c6e074d577d756f40243cd2c0363c7 (diff) | |
Add .editorconfig
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..5697a97 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,14 @@ +# https://EditorConfig.org + +root = true + +[*] +end_of_line = lf +insert_final_newline = true + +[*.{c,h}] +indent_style = space +indent_size = 3 + +[Makefile] +indent_style = tab |