# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1278764416 -7200
# Node ID 2ac4c67e97943996de2f4c9c0a73126f42bd8954
# Parent  aefc8799ef0cea0040658d953b3c7929941d8503
config: no need to push the download mirror in a sub menu

diff -r aefc8799ef0c -r 2ac4c67e9794 config/global/download.in
--- a/config/global/download.in	Fri Jul 09 15:53:49 2010 +0200
+++ b/config/global/download.in	Sat Jul 10 14:20:16 2010 +0200
@@ -27,7 +27,7 @@
       
       Usefull if you suspect a tarball to be damaged.
 
-menuconfig USE_MIRROR
+config USE_MIRROR
     bool
     prompt "Use a mirror"
     default n