housekeeping, adding CI, moving some source files, fix linter

2026-03-14 11:46:52 -06:00 · 2018-12-03 15:25:59 +01:00
parent 7a05302fb8
commit b3c3cba87b
10 changed files with 112 additions and 53 deletions
@@ -0,0 +1,13 @@
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+charset = utf-8
+
+[*.lua]
+indent_style = space
+indent_size = 2
+
+[Makefile]
+indent_style = tab