A few minutes ago, Matthew Flatt wrote:
>
> To avoid problems, delete "racket/lib/links.rktd" and
> "racket/lib/pkgs". [...]
Quick note: a useful thing to know for such cases is
git clean -dX -f
which will make git remove all files that are ignored. Since the
.gitignore files are all setup
Good news, everyone! I've improved the top-level makefile in a way that
probably breaks your existing repo checkout. Then again, there's a
chance that things will appear to work for now, delaying problems until
sometime later.
To avoid problems, delete "racket/lib/links.rktd" and
"racket/lib/pkgs"
2 matches
Mail list logo
