Some git cleanup

9 months ago · 9896b10cff
2 changed files with 6 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,4 +1,7 @@
 # Compilation stuff
 /pikon
 **/*.o
-**/*.d
+**/*.d
+/ws/
+/reports/
+/reports_html/
--- a/.gitmodules
+++ b/.gitmodules
@ -1,6 +1,8 @@
 [submodule "log.c"]
 	path = ext/log.c
 	url = https://github.com/rxi/log.c
+	ignore = untracked
 [submodule "ext/CLI11"]
 	path = ext/CLI11
 	url = https://github.com/CLIUtils/CLI11
+	ignore = untracked