Add pedagogic content

2025-11-16 14:27:42 +01:00
parent 78156a8c95
commit 35d275c104
63 changed files with 21409 additions and 1998 deletions
@@ -9,3 +9,4 @@
 /web_src/**/*_files
 /web_src/**/*_cache
 /.luarc.json
+*.log