Repository navigation

Rename rustc-guide to rustc-dev-guide - #601

Merged

spastorino merged 2 commits into

rust-lang:masterfrom

spastorino:rename-to-rustc-dev-guide

Mar 10, 2020

Merged

Rename rustc-guide to rustc-dev-guide#601
spastorino merged 2 commits into
rust-lang:masterfrom
spastorino:rename-to-rustc-dev-guide

Commits on Mar 10, 2020
- Rename rustc-guide to rustc-dev-guide
  spastorino
  committed
  54bcf2c
- rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org
  spastorino
  committed
  72b31e4