X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=.gitmodules;h=c85049378061317bd6fe82f2fcc0a574a8318c89;hb=ce7f0f1aa0f02c45cad0749e63f3086234b1f422;hp=bc2dd39774154e57094f09cad859b672e6452d2d;hpb=2ed716a81d36c0779bb132031fc9ef0b9e7f4212;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