From c422ab930a6fe07d244d30a05c4ee94af60e73ce Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emilernerfeldt@gmail.com>
Date: Wed, 16 Dec 2020 22:04:48 +0100
Subject: [PATCH] Remove very old lint.sh

---
 lint.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 lint.sh

diff --git a/lint.sh b/lint.sh
deleted file mode 100755
index c5111917..00000000
--- a/lint.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-set -eu
-
-echo "Cargo clippy"
-cargo clippy