From 1d4966984063db8c3ea8f9781f3bd9ff65fff096 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Fri, 1 Feb 2013 21:57:42 +0100 Subject: [PATCH] add f12 to defaults --- mirroring/mirror.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh index 8d01e96b..1b49f80e 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="f14 f16 f18" +all_distros="f12 f14 f16 f18" function check_distro () { local distro=$1; shift -- 2.47.0