Merge remote-tracking branch 'cd/master' into newmaster2

1 files changed, 0 insertions, 18 deletions

diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix
deleted file mode 100644
index b67585335..000000000
--- a/4lib/krebs/default.nix
+++ /dev/null
@@ -1,18 +0,0 @@
-{ lib, ... }:
-
-with builtins;
-with lib;
-
-builtins // lib // rec {
-
-  addName = name: set:
-    set // { inherit name; };
-
-  addNames = mapAttrs addName;
-
-  types = import ./types.nix { inherit lib; };
-
-  dns = import ./dns.nix { inherit lib; };
-  listset = import ./listset.nix { inherit lib; };
-  tree = import ./tree.nix { inherit lib; };
-}