From 05bde0741d717ba956f8c6a5e62b427da9a377b8 Mon Sep 17 00:00:00 2001 From: Martin Weinelt Date: Sat, 22 Aug 2015 11:24:42 +0200 Subject: [PATCH] darmstadt: reorder gateways, metanode is now darmstadt4 --- hosts/{darmstadt1 => darmstadt3} | 0 hosts/{darmstadt2 => darmstadt4} | 0 metanodes | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) rename hosts/{darmstadt1 => darmstadt3} (100%) rename hosts/{darmstadt2 => darmstadt4} (100%) diff --git a/hosts/darmstadt1 b/hosts/darmstadt3 similarity index 100% rename from hosts/darmstadt1 rename to hosts/darmstadt3 diff --git a/hosts/darmstadt2 b/hosts/darmstadt4 similarity index 100% rename from hosts/darmstadt2 rename to hosts/darmstadt4 diff --git a/metanodes b/metanodes index 522ea7f..3fbdccf 100644 --- a/metanodes +++ b/metanodes @@ -1,5 +1,5 @@ berlin2 -darmstadt2 +darmstadt4 luebeck2 trier1 hamburg03