svn: r5528
This commit is contained in:
Jacob Matthews 2007-02-01 02:49:27 +00:00
parent 92535627a5
commit e5a39eeee0

View File

@ -19,6 +19,6 @@
(DEFAULT-PACKAGE-LANGUAGE (version))
(USE-HTTP-DOWNLOADS? #t)
(HTTP-DOWNLOAD-SERVLET-URL "http://planet.plt-scheme.org/servlets/planet-servlet.ss")
(HTTP-DOWNLOAD-SERVLET-URL "http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss")
(PLANET-ARCHIVE-FILTER #f)))