From: martin f. krafft <madduck@madduck.net>
Date: Tue, 16 Dec 2014 12:23:48 +0000 (+0100)
Subject: fixup! remove dead hosts
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/9eb859555bf2ba382e845c17b7d8a93501ef8599

fixup! remove dead hosts
---

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