diff options
Diffstat (limited to 'kartei/others')
| -rw-r--r-- | kartei/others/default.nix | 3 | 
1 files changed, 0 insertions, 3 deletions
diff --git a/kartei/others/default.nix b/kartei/others/default.nix index f3ea8b80c..de0bd2f7f 100644 --- a/kartei/others/default.nix +++ b/kartei/others/default.nix @@ -43,7 +43,6 @@ in {        };      };      horisa = { -      cores = 2;        owner = config.krebs.users.ulrich; # main laptop        nets = {          retiolum = { @@ -57,7 +56,6 @@ in {        };      };      hasegateway = { -      cores = 1;        owner = config.krebs.users.hase;        nets = {          #internet = { @@ -343,7 +341,6 @@ in {        };      };      tpsw = { -      cores = 2;        owner = config.krebs.users.ciko; # main laptop        nets = {          retiolum = {  | 
