diff --git a/ssh/config b/ssh/config index 2107deb..362a981 100644 --- a/ssh/config +++ b/ssh/config @@ -13,10 +13,6 @@ Host faui0? faui0?? Host man? man?? big? HostName faui49%h.informatik.uni-erlangen.de -Host faui2hg - HostName faui2hg.informatik.uni-erlangen.de - User est_tpreisner - Match Host faui* User ty28wuqu