From ee543bbe10e16c787e46957a2fb0cb26d678efe3 Mon Sep 17 00:00:00 2001 From: ebner Date: Thu, 8 Dec 2022 16:13:20 +0100 Subject: [PATCH] remove link --- infrastructure-guide/home.md | 1 - 1 file changed, 1 deletion(-) diff --git a/infrastructure-guide/home.md b/infrastructure-guide/home.md index 29d47b90..b9ed4a1c 100644 --- a/infrastructure-guide/home.md +++ b/infrastructure-guide/home.md @@ -23,7 +23,6 @@ List of systems and their primary role: * [lxsup00](lxsup00) - 129.129.190.24 - Shell for linux support, primarily to run bob -* [satint](satint) - 129.129.160.114 - PSI Satellite server * http://linux.web.psi.ch - YUM Repositories SL6 / RHEL7