X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=.gitmodules;h=c85049378061317bd6fe82f2fcc0a574a8318c89;hb=98e0c4df7384ca02f1d5c4dc5dc15de8b3418ce1;hp=bc2dd39774154e57094f09cad859b672e6452d2d;hpb=2e44c17c12cec45b6a682b1e53a04ac5b5fcc9d2;p=rust.git

diff --git a/.gitmodules b/.gitmodules
index bc2dd397741..c8504937806 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,9 +13,6 @@
 [submodule "src/doc/book"]
 	path = src/doc/book
 	url = https://github.com/rust-lang/book.git
-[submodule "src/tools/miri"]
-	path = src/tools/miri
-	url = https://github.com/rust-lang/miri.git
 [submodule "src/doc/rust-by-example"]
 	path = src/doc/rust-by-example
 	url = https://github.com/rust-lang/rust-by-example.git