Just so there is a backup

2024-11-18 09:11:55 +02:00
parent 85ecb7b4a0
commit 4984e0a3ed
34 changed files with 1830 additions and 152 deletions
@@ -0,0 +1,4 @@
+{ pkgs } @ args:
+{
+  debugTex = import ./debugTex args;
+}