summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-01-14 16:03:37 +0100
committertv <tv@krebsco.de>2016-01-14 16:03:37 +0100
commit3a0a230ef56990233850f8781db1c66886b9e7d9 (patch)
tree78994fb86473cbc20f2c27c25ff98ab48b693ec0
parentdf017132338d1c22adbc414a301e879035e5ba4f (diff)
type user: kill pubkeys, no one's missing you
-rw-r--r--krebs/4lib/types.nix4
1 files changed, 0 insertions, 4 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 81ce659bd..c596d0f9d 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -164,10 +164,6 @@ types // rec {
pubkey = mkOption {
type = str;
};
- pubkeys = mkOption {
- type = attrsOf str;
- default = {};
- };
};
};