From 06c44816c1532e5ff08ad072f581fc068eb60e2e Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Wed, 1 Apr 2020 12:27:30 +0200 Subject: Delete the clippy submodule --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) (limited to '.gitmodules') 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 -- cgit 1.4.1-3-g733a5