From e659b6de9170c055b6f2d16e2679b22d67297b13 Mon Sep 17 00:00:00 2001 From: Joshua Nelson Date: Wed, 5 May 2021 10:05:54 -0400 Subject: [PATCH] Delete rustfmt submodule --- .gitmodules | 3 --- src/tools/rustfmt | 1 - 2 files changed, 4 deletions(-) delete mode 160000 src/tools/rustfmt diff --git a/.gitmodules b/.gitmodules index d4a80efc277..aee038aa4c8 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/rustfmt"] - path = src/tools/rustfmt - url = https://github.com/rust-lang/rustfmt.git [submodule "src/tools/miri"] path = src/tools/miri url = https://github.com/rust-lang/miri.git diff --git a/src/tools/rustfmt b/src/tools/rustfmt deleted file mode 160000 index 2a3635d5d12..00000000000 --- a/src/tools/rustfmt +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2a3635d5d1218c726ff58af4bc35418836143f69