From ebd38dc69a01ca479e59c6d1b04532a14d8f14df Mon Sep 17 00:00:00 2001 From: Daniel Ehlers Date: Sun, 27 Jul 2014 11:27:50 +0200 Subject: [PATCH] kiel: Rename kiel13 into kiel2 --- hosts/{kiel13 => kiel2} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename hosts/{kiel13 => kiel2} (100%) diff --git a/hosts/kiel13 b/hosts/kiel2 similarity index 100% rename from hosts/kiel13 rename to hosts/kiel2