From 118f7d54c4e1c25b6e590f3b63bbe5ef9482a194 Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Tue, 16 Apr 2019 17:17:07 +0200
Subject: [PATCH] Remove rust-toolchain file from clippy_dev

---
 clippy_dev/rust-toolchain | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 clippy_dev/rust-toolchain

diff --git a/clippy_dev/rust-toolchain b/clippy_dev/rust-toolchain
deleted file mode 100644
index 2bf5ad0447d..00000000000
--- a/clippy_dev/rust-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-stable