From 06c44816c1532e5ff08ad072f581fc068eb60e2e Mon Sep 17 00:00:00 2001
From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Wed, 1 Apr 2020 12:27:30 +0200
Subject: Delete the clippy submodule

---
 src/tools/clippy | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 src/tools/clippy

(limited to 'src/tools')

diff --git a/src/tools/clippy b/src/tools/clippy
deleted file mode 160000
index 28197b62261..00000000000
--- a/src/tools/clippy
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 28197b622611ba3a6367648974ccf59127c287bb
-- 
cgit 1.4.1-3-g733a5