From 57c520b722f25f384301118046bf9cf182d4edd7 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Thu, 16 Jul 2015 23:22:30 +0200
Subject: Goodbye old world, and thanks for all the fish!

---
 old/modules/common/krebs-keys.nix | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 old/modules/common/krebs-keys.nix

(limited to 'old/modules/common/krebs-keys.nix')

diff --git a/old/modules/common/krebs-keys.nix b/old/modules/common/krebs-keys.nix
deleted file mode 100644
index 5e349338..00000000
--- a/old/modules/common/krebs-keys.nix
+++ /dev/null
@@ -1,18 +0,0 @@
-# alle public keys der krebsminister fuer R in krebs repos
-{ config, ... }:
-
-let
-  inherit (builtins) readFile;
-in
-
-with import ../lass/sshkeys.nix {
-  config.sshKeys.lass.pub = config.sshKeys.lass.pub;
-  config.sshKeys.uriel.pub = config.sshKeys.uriel.pub;
-  };
-{
-  imports = [
-    ./sshkeys.nix
-  ];
-
-  config.sshKeys.tv.pub = readFile <pubkeys/tv_wu.ssh.pub>;
-}
-- 
cgit v1.2.3