From 9eb859555bf2ba382e845c17b7d8a93501ef8599 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Tue, 16 Dec 2014 13:23:48 +0100
Subject: [PATCH 1/1] fixup! remove dead hosts

---
 .ssh/config.in | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.ssh/config.in b/.ssh/config.in
index 831ff70..0240a5b 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -86,12 +86,6 @@ Host ssh443.madduck.net | ssh443
 Host openvpn.madduck.net | openvpn
   HostKeyAlias sysyphus.madduck.net
 
-Host wots.madduck.net | wots
-  ForwardAgent yes
-  Hostname wots.madduck.net
-Host buildd.debian.madduck.net | buildd
-  HostKeyAlias wots.madduck.net
-
 ### UNI ZURICH MACHINES
 
 Host diamond.madduck.net | diamond
-- 
2.39.5