diff options
author | lassulus <lass@aidsballs.de> | 2015-07-28 21:48:33 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2015-07-28 21:48:33 +0200 |
commit | 12644fe303a6045d6d8ae75916cb601f95596f25 (patch) | |
tree | 05c118cffacead8bd127f23cf0144940de299686 /4lib/krebs | |
parent | ac64527c5707cca5fc6e6e6ecf3957129cdb32b2 (diff) | |
parent | 5a03593b3a6eb97d2f369424b2631ad122b8de85 (diff) |
Merge remote-tracking branch 'nomic/user-toplevel' into newmaster
Diffstat (limited to '4lib/krebs')
-rw-r--r-- | 4lib/krebs/types.nix | 4 |
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 = {}; + }; }; }; |