diff --git a/infrastructure-guide/overview_linux.drawio.svg b/infrastructure-guide/overview_linux.drawio.svg index 59c72218..e6d96ed5 100644 --- a/infrastructure-guide/overview_linux.drawio.svg +++ b/infrastructure-guide/overview_linux.drawio.svg @@ -1,4 +1,4 @@ - + @@ -38,20 +38,23 @@ - + - d + iso sync: https://id-sat-prd-02.ethz.ch/pub/i...