ssh: config: remove faui2hg

This commit is contained in:
Thomas Preisner 2018-04-29 01:01:38 +02:00
parent cd40153e8a
commit d5f8c19e7d

View file

@ -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