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 /src/tools | |
| parent | 1ef5a93af69f0cce59ed54591635cdf46028ff74 (diff) | |
| download | rust-06c44816c1532e5ff08ad072f581fc068eb60e2e.tar.gz rust-06c44816c1532e5ff08ad072f581fc068eb60e2e.zip | |
Delete the clippy submodule
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/tools/clippy b/src/tools/clippy deleted file mode 160000 -Subproject 28197b622611ba3a6367648974ccf59127c287b |