deleted generated files

2026-03-19 12:05:35 +00:00
parent ec52a4475a
commit 911ceba1be
32 changed files with 2 additions and 1548 deletions
@@ -137,9 +137,9 @@ This sets the networking.
 { lib, ... }:
 {
  options.mySystem = lib.mkOption {
-    type = lib.types.attrs;
+    type = lib.types.attrsOf lib.types.anything;
    default = {};
-    description = "Root for custom mySystem options (placeholder)";
+    description = "Root for custom mySystem options (hierarchical)";
  };
 }
 #+END_SRC