diff options
| author | makefu <github@syntax-fehler.de> | 2016-02-04 11:16:17 +0100 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2016-02-04 11:16:17 +0100 |
| commit | e89f43de944af3751b7a70de87e3cc0c1860f2bd (patch) | |
| tree | 15401006a9cc87971f43d9c58e4e4ea5da522040 /krebs/4lib | |
| parent | cc1a230fd2742b6ccadd0837d9cf569f246375aa (diff) | |
| parent | 307e0afe851654e07e0c3fca25adf60ada3d974d (diff) | |
Merge 'cd/master' - update krebs.build.source
Diffstat (limited to 'krebs/4lib')
| -rw-r--r-- | krebs/4lib/default.nix | 1 | ||||
| -rw-r--r-- | krebs/4lib/types.nix | 4 |
2 files changed, 1 insertions, 4 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix index dfc51bbe4..4d7e0b549 100644 --- a/krebs/4lib/default.nix +++ b/krebs/4lib/default.nix @@ -6,6 +6,7 @@ with lib; let out = rec { eq = x: y: x == y; + ne = x: y: x != y; mod = x: y: x - y * (x / y); 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 = {}; - }; }; }; |