From d9382d03bd170de57878444e4ed0322a6d44907b Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Mon, 19 Sep 2022 14:03:23 +0000 Subject: [PATCH] Remove miri submodule --- .gitmodules | 3 --- src/tools/miri | 1 - 2 files changed, 4 deletions(-) delete mode 160000 src/tools/miri 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 diff --git a/src/tools/miri b/src/tools/miri deleted file mode 160000 index beed5eddb0f..00000000000 --- a/src/tools/miri +++ /dev/null @@ -1 +0,0 @@ -Subproject commit beed5eddb0f73f6721681560c73a51e3f15b8681