Re: [racket-dev] git head problem

Sorry! I've pushed a change. On Thu, Nov 15, 2012 at 12:08 PM, Matthias Felleisen wrote: > > Looks like the latest git head i smissing a file: > > >> raco setup: --- installing collections --- >> raco setup: --- post-installing collections --- >> raco setup: post-installing: help >> raco setup: p

[racket-dev] git head problem

Looks like the latest git head i smissing a file: > raco setup: --- installing collections --- > raco setup: --- post-installing collections --- > raco setup: post-installing: help > raco setup: post-installing: mred > raco setup: post-installing: mzcom > raco setup: post-installing: mzscheme >