Code

Rename rustc guide#69747

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom

spastorino:rename-rustc-guidespastorino/rust:rename-rustc-guideCopy head branch name to clipboard

Mar 12, 2020

Commits

Commits on Mar 10, 2020

• Rename rustc-guide to rustc-dev-guide

  spastorino

  committed
  0037f4e

  Copy full SHA for 0037f4e

• Rename rustc guide to rustc dev guide

  spastorino

  committed
  9d4fdba

  Copy full SHA for 9d4fdba

• Rename rustc_guide to rustc_dev_guide

  spastorino

  committed
  1ddcea3

  Copy full SHA for 1ddcea3

• Rename Rustc Guide to Rustc Dev Guide

  spastorino

  committed
  d00b269

  Copy full SHA for d00b269

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

  spastorino

  committed
  b3b32b7

  Copy full SHA for b3b32b7