From b77e7b3a5132149f4ffd68e9c0418f888ae922d7 Mon Sep 17 00:00:00 2001 From: LeSeulArtichaut Date: Fri, 6 Mar 2020 22:34:28 +0100 Subject: [PATCH] Rename `rustc-guide` to `rustc-dev-guide` --- rustc-guide/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/rustc-guide/index.html b/rustc-guide/index.html index ae1c7d3..c7a7ce8 100644 --- a/rustc-guide/index.html +++ b/rustc-guide/index.html @@ -1,5 +1,5 @@ -Redirecting to https://rust-lang.github.io/rustc-guide/ - - +Redirecting to https://rustc-dev-guide.rust-lang.org/ + +