Skip to content

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

rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org

72b31e4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs