diff options
author | Pavol Rusnak <pavol@rusnak.io> | 2023-04-11 21:45:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-11 19:45:44 +0000 |
commit | 8b679987cdce292ff36bd741f6715e4927e26f9b (patch) | |
tree | f6b913d90283ec662004818846e0a14357c0209e /.editorconfig | |
parent | 3e6e70d8e8917b5bd14c7c9f9b89a585f1ff0b31 (diff) |
Fix whitespace, add .editorconfig, add GitHub workflow (#883)
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..df8aaf5 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,16 @@ +# https://EditorConfig.org + +# Top-most EditorConfig file +root = true + +# Unix-style newlines with a newline ending every file, utf-8 charset +[*] +end_of_line = lf +insert_final_newline = true +trim_trailing_whitespace = true +charset = utf-8 +indent_style = space +indent_size = 4 + +[Makefile] +indent_style = tab |