darmstadt: reorder gateways, metanode is now darmstadt4

ataflinski · Aug 22, 2015 · 05bde07 · 05bde07
1 parent 12672d8
commit 05bde07
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/hosts/darmstadt1 → hosts/darmstadt3 b/hosts/darmstadt1 → hosts/darmstadt3
diff --git a/hosts/darmstadt2 → hosts/darmstadt4 b/hosts/darmstadt2 → hosts/darmstadt4
diff --git a/metanodes b/metanodes
@@ -1,5 +1,5 @@
 berlin2
-darmstadt2
+darmstadt4
 luebeck2
 trier1
 hamburg03