diff options
| -rw-r--r-- | .gitmodules | 4 | ||||
| m--------- | src/doc/rustc-dev-guide | 0 |
2 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 07fd44c2b2d..f9bd42edab3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,10 +22,6 @@ path = library/stdarch url = https://github.com/rust-lang/stdarch.git shallow = true -[submodule "src/doc/rustc-dev-guide"] - path = src/doc/rustc-dev-guide - url = https://github.com/rust-lang/rustc-dev-guide.git - shallow = true [submodule "src/doc/edition-guide"] path = src/doc/edition-guide url = https://github.com/rust-lang/edition-guide.git diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide deleted file mode 160000 -Subproject ad93c5f1c49f2aeb45f7a4954017b1e607df9f5 |