summaryrefslogtreecommitdiffstats
path: root/4lib/krebs/types.nix
diff options
context:
space:
mode:
authorlassulus <lass@aidsballs.de>2015-07-28 21:48:33 +0200
committerlassulus <lass@aidsballs.de>2015-07-28 21:48:33 +0200
commit12644fe303a6045d6d8ae75916cb601f95596f25 (patch)
tree05c118cffacead8bd127f23cf0144940de299686 /4lib/krebs/types.nix
parentac64527c5707cca5fc6e6e6ecf3957129cdb32b2 (diff)
parent5a03593b3a6eb97d2f369424b2631ad122b8de85 (diff)
Merge remote-tracking branch 'nomic/user-toplevel' into newmaster
Diffstat (limited to '4lib/krebs/types.nix')
-rw-r--r--4lib/krebs/types.nix4
1 files changed, 4 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
index 970ef2f8e..92410dd58 100644
--- a/4lib/krebs/types.nix
+++ b/4lib/krebs/types.nix
@@ -93,6 +93,10 @@ types // rec {
pubkey = mkOption {
type = str;
};
+ pubkeys = mkOption {
+ type = attrsOf str;
+ default = {};
+ };
};
};