added files from christoph

2022-06-15 07:39:59 +02:00
parent ce00fb5b26
commit cad1d48933
26 changed files with 1310 additions and 77 deletions
@@ -10,4 +10,5 @@
 resources
 /etags/
 .gitignore
-.todo
+.todo
+.DS_Store