[racket-dev] git head problem

2012-11-15 Thread Matthias Felleisen
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 raco

Re: [racket-dev] git head problem

2012-11-15 Thread Robby Findler
Sorry! I've pushed a change. On Thu, Nov 15, 2012 at 12:08 PM, Matthias Felleisen matth...@ccs.neu.edu 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