new version with git help

2026-08-11 22:35:01 +02:00
parent fea7fb7a59
commit 7c6a338326
7 changed files with 175 additions and 19 deletions
@@ -1,5 +1,8 @@
 /compiled
 /doc
-/*.bak
 /scribblings/compiled
 /tests/compiled
+
+/docs
+*~
+*.bak