uebung-1

2026-04-17 00:01:08 +02:00
parent 6f48e5d2ed
commit bb2d93d3c3
2 changed files with 7 additions and 27 deletions
--- a/flake.nix
+++ b/flake.nix
@@ -124,9 +124,7 @@
              }
              // args;
          in {
-            "uebung-5" = mkUebungPdf 5 {};
-            "uebung-6" = mkUebungPdf 6 {};
-            "uebung-7" = mkUebungPdf 7 {};
+            "uebung-1" = mkUebungPdf 1 {};
          };

          devShells.default = with pkgs;