default distros
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 23 Jan 2013 09:21:06 +0000 (10:21 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 23 Jan 2013 09:21:06 +0000 (10:21 +0100)
mirroring/mirror.sh

index 5b0d3cf..8d01e96 100755 (executable)
@@ -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