makefu: move out to own repo, add vacation-note

1 files changed, 0 insertions, 14 deletions

diff --git a/makefu/3modules/server-config.nix b/makefu/3modules/server-config.nix
deleted file mode 100644
index 9cac5920..00000000
--- a/makefu/3modules/server-config.nix
+++ /dev/null
@@ -1,14 +0,0 @@
-{config, lib, pkgs, ... }:
-
-with lib;{
-  options.makefu.server.primary-itf = lib.mkOption {
-    type = types.str;
-    description = "Primary interface of the server";
-  };
-  options.makefu.gui.user = lib.mkOption {
-    type = types.str;
-    description = "GUI user";
-    default = config.krebs.build.user.name;
-  };
-}
-