uebung4

2026-05-14 21:58:46 +02:00
parent 1ab7c5836d
commit 1f51386b57
6 changed files with 710 additions and 578 deletions
@@ -90,6 +90,7 @@
            "uebung-1" = mkUebungPdf 1 {};
            "uebung-2" = mkUebungPdf 2 {};
            "uebung-3" = mkUebungPdf 3 {};
+            "uebung-4" = mkUebungPdf 4 {};
          };

          devShells.default = with pkgs;