Closed trvswgnr closed 1 year ago
I'll start working on this tonight.
What about rustc? Will that need to be changed too?
@shuvrojit sorry i didn't see this. eventually we will want rustc to be renamed, but since we have a renamed toolchain in place (albeit a hacky solution) it's not crucial at the moment. rustc
will be the most difficult to rename i imagine, since there is a lot that depends on it and the name is used throughout other repos. i'm going to close this since i merged your PR #49. thanks for that btw!
any public-facing files should have rust renamed to crab. this would include most of the markdown files in all repos, but we can start with crablang/crab.