for f20
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:14:03 +0000 (16:14 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:14:03 +0000 (16:14 +0100)
mirroring/mirror.sh

index 1b49f80..95778da 100755 (executable)
@@ -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