use mirror.onelab.eu for retrieving keys as build.planet-lab.org is down these days

[build.git] / mirroring / mirror.sh

diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 56c394d..68e2821 100755 (executable)
--- a/mirroring/mirror.sh
+++ b/mirroring/mirror.sh
@@ -1,5 +1,4 @@
 #!/bin/bash
-# $Id$
 
 COMMAND=$(basename $0)
 DIRNAME=$(dirname $0)