From cea74ad911f1fd18f143b756a599e8cbc8534813 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 15 Feb 2012 11:40:48 -0500 Subject: [PATCH] Infogroep mirror is back, now in http form. --- collects/meta/web/download/data.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/meta/web/download/data.rkt b/collects/meta/web/download/data.rkt index 57a6b90ba3..955bdc5a63 100644 --- a/collects/meta/web/download/data.rkt +++ b/collects/meta/web/download/data.rkt @@ -66,9 +66,8 @@ "http://russell.cs.bilgi.edu.tr/racket-installers/" "Onur Gungor" "onurgu@cs.bilgi.edu.tr"] - #; ; Unreliable, timeouts very frequently ["Belgium (Infogroep, Vrije Universiteit Brussel)" - "ftp://infogroep.be/pub/racket/installers/" + "http://racket.infogroep.be/" "Infogroep" "research@infogroep.be"] #;