From 8453f0b9700b9143a68b1092eded5a5b45c93607 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 6 Jan 2014 16:14:03 +0100
Subject: [PATCH] for f20
---
mirroring/mirror.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 1b49f80e..95778da2 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="f12 f14 f16 f18"
+all_distros="f12 f14 f16 f18 f20"
function check_distro () {
local distro=$1; shift
--
2.47.0