From 8582ee8301df413f453f7cc8bfd9eec78c8028bc Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Wed, 23 Jan 2013 10:21:06 +0100 Subject: [PATCH] default distros --- mirroring/mirror.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh index 5b0d3cf3..8d01e96b 100755 --- a/mirroring/mirror.sh +++ b/mirroring/mirror.sh @@ -5,7 +5,7 @@ DIRNAME=$(dirname $0) default_url="http://localhost/mirror/" default_distro="f14" -all_distros="f8 f12 f14 f16 f17" +all_distros="f14 f16 f18" function check_distro () { local distro=$1; shift -- 2.47.0