Skip to content

[Do not merge yet] Rename rustc-guide to rustc-dev-guide#4

Merged
pietroalbini merged 1 commit intorust-lang-nursery:masterfrom
LeSeulArtichaut:rustc-dev-guide
Mar 10, 2020
Merged

[Do not merge yet] Rename `rustc-guide` to `rustc-dev-guide`#4
pietroalbini merged 1 commit intorust-lang-nursery:masterfrom
LeSeulArtichaut:rustc-dev-guide

Commits

Commits on Mar 9, 2020