uebung-7

2025-12-19 01:08:09 +01:00
parent 0d33fa55a7
commit cee92030ad
13 changed files with 349 additions and 2 deletions
--- a/flake.nix
+++ b/flake.nix
@@ -99,6 +99,7 @@
          in {
            "uebung-5" = mkUebungPdf 5 {};
            "uebung-6" = mkUebungPdf 6 {};
+            "uebung-7" = mkUebungPdf 7 {};
          };

          devShells.default = with pkgs;