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 | |
| parent | 356bb8e0d3f9add02e177a3bdfa9314e1369748e (diff) | |
krebs: rm types.host.dc
Diffstat (limited to 'krebs/4lib')
| -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 52eb764e..873f3ddf 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; }; |