add additional infrastructure server

2022-11-16 09:18:24 +01:00
parent a29630c906
commit 33f22bcea5
1 changed files with 2 additions and 0 deletions
--- a/infrastructure-guide/home.md
+++ b/infrastructure-guide/home.md
@@ -26,6 +26,8 @@ List of systems and their primary role:
 * [satint](satint) - 129.129.160.114 - PSI Satellite server


+* http://linux.web.psi.ch - YUM Repositories SL6 / RHEL7 
+

 ![](overview_linux.drawio.svg)