On Tue, Dec 3, 2013 at 6:22 PM, Hendrik Boom <hend...@topoi.pooq.com> wrote:
> On Mon, Dec 02, 2013 at 06:49:39PM -0600, Robby Findler wrote: > > They used to be different and I feared people had used one or the other > in > > course notes and so didn't want to get rid of them, but probably it has > > been long enough now that I should just get rid of the "help desk" menu > > item. > > But in the intervening years people may have made new course notes > that mention the help desk item!! > You can never stop!! You're trapped for all eternity!! > > It does feel that way sometimes. :) Robby
____________________ Racket Users list: http://lists.racket-lang.org/users
