make a line to uncomment to switch to coach
svn: r5529
This commit is contained in:
parent
e5a39eeee0
commit
1ecaecbd99
|
@ -19,6 +19,7 @@
|
|||
(DEFAULT-PACKAGE-LANGUAGE (version))
|
||||
|
||||
(USE-HTTP-DOWNLOADS? #t)
|
||||
(HTTP-DOWNLOAD-SERVLET-URL "http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss")
|
||||
(HTTP-DOWNLOAD-SERVLET-URL "http://planet.plt-scheme.org/servlets/planet-servlet.ss"
|
||||
#;"http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss")
|
||||
(PLANET-ARCHIVE-FILTER #f)))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user