From d5f8c19e7d55be01adfaa7967ade3790e65e5946 Mon Sep 17 00:00:00 2001 From: Thomas Preisner Date: Sun, 29 Apr 2018 01:01:38 +0200 Subject: [PATCH] ssh: config: remove faui2hg --- ssh/config | 4 ---- 1 file changed, 4 deletions(-) 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