summaryrefslogtreecommitdiff
path: root/config/global
diff options
context:
space:
mode:
Diffstat (limited to 'config/global')
-rw-r--r--config/global/download.in15
1 files changed, 0 insertions, 15 deletions
diff --git a/config/global/download.in b/config/global/download.in
index fd651cb..e91bd98 100644
--- a/config/global/download.in
+++ b/config/global/download.in
@@ -70,21 +70,6 @@ config MIRROR_BASE_URL
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