This commit is contained in:
2026-04-24 00:11:43 +02:00
parent 96e34686a7
commit db2e755fcb
6 changed files with 268 additions and 0 deletions

View File

@@ -88,6 +88,7 @@
// args;
in {
"uebung-1" = mkUebungPdf 1 {};
"uebung-2" = mkUebungPdf 2 {};
};
devShells.default = with pkgs;