diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-04-01 12:27:30 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-05-02 09:48:46 +0200 |
| commit | 06c44816c1532e5ff08ad072f581fc068eb60e2e (patch) | |
| tree | 7974a01a7ce72262b1fc94102f11dad3cbedd515 | |
| parent | 1ef5a93af69f0cce59ed54591635cdf46028ff74 (diff) | |
| download | rust-06c44816c1532e5ff08ad072f581fc068eb60e2e.tar.gz rust-06c44816c1532e5ff08ad072f581fc068eb60e2e.zip | |
Delete the clippy submodule
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | src/tools/clippy | 11 |
2 files changed, 0 insertions, 14 deletions
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 -Subproject 28197b622611ba3a6367648974ccf59127c287b |