Delete rustfmt submodule

diff --git a/.gitmodules b/.gitmodules
index d4a80efc277e31627c6c31d09acb378a54a499cf..aee038aa4c8e5e9f267b08a2ca503514c382a289 100644 (file)
--- 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 (submodule)
index 2a3635d..0000000
--- a/src/tools/rustfmt
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 2a3635d5d1218c726ff58af4bc35418836143f69