diff -r 61edd9d19e3c -r 6144097af955 config/global/download.in
--- a/config/global/download.in	Wed Dec 30 15:36:22 2009 +0100
+++ b/config/global/download.in	Sun Jan 31 12:36:50 2010 +0100
@@ -70,21 +70,6 @@
       The mirror is available at:
         http://ymorin.is-a-geek.org/mirrors/
 
-config MIRROR_LS_R
-    bool
-#    prompt "Use ls-lR et al."
-    depends on EXPERIMENTAL
-    default n
-    help
-      If the tarball was not found at the above location, see if the server
-      has a ls-lr.gz (or similar) file, and use that file to see if the
-      tarball is listed somewhere in that file.
-      
-      Common file names looked for are:
-        ls-lrRt.txt     (used at ftp.gnu.org)
-        find.txt        (ditto)
-        ls-lR
-
 endif # USE_MIRROR
 
 config CONNECT_TIMEOUT