diff options
author | tv <tv@krebsco.de> | 2016-02-08 03:21:01 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-08 03:21:01 +0100 |
commit | 7a9f130c1230faf9662000dbd9ba8f06170bf254 (patch) | |
tree | 573a407cec7a89f13e0b6572cde0db02ec7c05b3 /krebs/4lib/types.nix | |
parent | 356bb8e0d3f9add02e177a3bdfa9314e1369748e (diff) |
krebs: rm types.host.dc
Diffstat (limited to 'krebs/4lib/types.nix')
-rw-r--r-- | krebs/4lib/types.nix | 3 |
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; }; |