Fix whitespace, add .editorconfig, add GitHub workflow (#883)

2023-04-11 21:45:44 +02:00 · 2023-04-11 21:45:44 +02:00 · 8b679987cd
commit 8b679987cd
parent 3e6e70d8e8
15 changed files with 84 additions and 46 deletions
--- a/.editorconfig
+++ 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