diff options
author | tv <tv@krebsco.de> | 2016-01-14 16:03:37 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-01-14 16:03:37 +0100 |
commit | 3a0a230ef56990233850f8781db1c66886b9e7d9 (patch) | |
tree | 78994fb86473cbc20f2c27c25ff98ab48b693ec0 | |
parent | df017132338d1c22adbc414a301e879035e5ba4f (diff) |
type user: kill pubkeys, no one's missing you
-rw-r--r-- | krebs/4lib/types.nix | 4 |
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 = {}; - }; }; }; |