add f12 to defaults

diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 8d01e96..1b49f80 100755 (executable)
--- 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