Mazdak Farrokhzad 39c6405097 Rollup merge of #69747 - spastorino:rename-rustc-guide, r=pietroalbini ... Rename rustc guide This is in preparation for https://github.com/rust-lang/rustc-guide/issues/470 Needs to be merged after we actually rename the guide. Have used this to rename: `git grep -l 'rustc_guide' | xargs sed -i 's/rustc_guide/rustc_dev_guide/g'` `git grep -l 'rustc-guide' | xargs sed -i 's/rustc-guide/rustc-dev-guide/g'` `git grep -l 'rustc guide' | xargs sed -i 's/rustc guide/rustc dev guide/g'`		2020-03-12 16:32:19 +01:00
..
src	Rollup merge of #69747 - spastorino:rename-rustc-guide, r=pietroalbini	2020-03-12 16:32:19 +01:00
.gitignore	initialize the rustc book	2018-04-09 14:04:10 -04:00
book.toml	fix authorship in book.toml	2018-04-09 14:04:57 -04:00