uebung3

wip
2026-05-07 23:18:31 +02:00
parent 6c493feafc
commit 845e3ad05e
10 changed files with 288 additions and 11 deletions
@@ -89,6 +89,7 @@
          in {
            "uebung-1" = mkUebungPdf 1 {};
            "uebung-2" = mkUebungPdf 2 {};
+            "uebung-3" = mkUebungPdf 3 {};
          };

          devShells.default = with pkgs;