diff --git a/.gitmodules b/.gitmodules index b2b580d08bc..5f2e8272cd2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -16,9 +16,6 @@ [submodule "src/tools/rls"] path = src/tools/rls url = https://github.com/rust-lang/rls.git -[submodule "src/tools/clippy"] - path = src/tools/clippy - url = https://github.com/rust-lang/rust-clippy.git [submodule "src/tools/rustfmt"] path = src/tools/rustfmt url = https://github.com/rust-lang/rustfmt.git diff --git a/src/tools/clippy b/src/tools/clippy deleted file mode 160000 index 28197b62261..00000000000 --- a/src/tools/clippy +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 28197b622611ba3a6367648974ccf59127c287bb