Initial commit

2025-09-28 21:14:53 +02:00
commit 1ed8827b02
23 changed files with 2672 additions and 0 deletions
--- a/.clean_local_env.sh
+++ b/.clean_local_env.sh
@@ -0,0 +1,5 @@
+# This script undoes the effect of .setup_local_env.sh
+
+rm ./src/**/lib
+rm ./src/**/.latexmkrc
+rm ./src/**/src