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