almost done

2026-10-06 14:04:51 +00:00 · 2023-02-09 00:50:03 +01:00
parent feb2dc7c69
commit d7aa7516d6
3 changed files with 244 additions and 16147 deletions
@@ -143,8 +143,10 @@ data/
 *.toc
 *.txt

+# Working directories, not to be committed
 .vscode/
 backup/
 sources/
 extra/
 html_graphs/
+tex/