descriptionThe PLaneT Server Source
ownerPLT
last changeThu, 10 Mar 2016 03:00:07 +0000 (22:00 -0500)
shortlog
2016-03-10  Robby Findleredit master
2016-03-09  Robby Findlermake the deprecation of planet more obvious on the...
2015-04-03  Robby Findleredit prefix of content on server
2013-11-21  Robby Findleradd sekret header to avoid a backwards incompatibility
2012-11-30  Robby FindlerRackety
2012-07-07  Robby Findlerfix another case where old-style requires were used...
2012-07-02  Robby Findleradjust hardwired paths for new location
2012-04-03  Robby Findlerfix extension dropping for the 'to load' lines
2012-01-27  Robby Findlerimprove the code that determines when to use the old...
2011-12-27  Robby Findlerfixed email/url
2011-12-27  Robby Findlerupdated mailing list address
2011-10-15  Robby Findlerfixed a bug in the way the top bug closers list is...
2011-10-06  Eli BarzilayMake parsing of replacement tags more robust, and allow...
2011-08-18  Robby Findleradded another safeguard against bad user-supplied xml
2011-08-17  Robby Findler.
2011-08-17  Robby Findleradded pkg-info.ss servlet
...
heads
3 months ago master