# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1264937982 -3600
# Node ID 509cc4c634f3c5a7abb998d8385d72fd7f06c7bd
# Parent  6144097af95509c4afbc9435598e6ddc315e7914
config: rename mirror prompt, update help entry

The mirror is not necessarily on the /LAN/.

diff -r 6144097af955 -r 509cc4c634f3 config/global/download.in
--- a/config/global/download.in	Sun Jan 31 12:36:50 2010 +0100
+++ b/config/global/download.in	Sun Jan 31 12:39:42 2010 +0100
@@ -29,16 +29,13 @@
 
 menuconfig USE_MIRROR
     bool
-    prompt "Use LAN mirror"
+    prompt "Use a mirror"
     default n
     help
       If you have a machine on your LAN that mirrors some of the needed
       tarballs, you can say 'Y' here, and configure adequate values in
       the following options.
       
-      Tarballs will be be preferably fetched from the LAN mirror, and if
-      not found there, standard places will be searched for.
-      
       Obviously, nothing prevents you from using a mirror that is in fact
       *not* on your LAN, for example on another subnet of your company's
       network, or a mirror on the Internet.