summaryrefslogtreecommitdiffstats
path: root/krebs/4lib
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-08 03:21:01 +0100
committertv <tv@krebsco.de>2016-02-08 03:21:01 +0100
commit7a9f130c1230faf9662000dbd9ba8f06170bf254 (patch)
tree573a407cec7a89f13e0b6572cde0db02ec7c05b3 /krebs/4lib
parent356bb8e0d3f9add02e177a3bdfa9314e1369748e (diff)
krebs: rm types.host.dc
Diffstat (limited to 'krebs/4lib')
-rw-r--r--krebs/4lib/types.nix3
1 files changed, 0 insertions, 3 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 52eb764ef..873f3ddfb 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -12,9 +12,6 @@ types // rec {
type = label;
default = config._module.args.name;
};
- dc = mkOption {
- type = label;
- };
cores = mkOption {
type = positive;
};