From 1c4492afc53be657438854448b0ceb525b2cca4d Mon Sep 17 00:00:00 2001
From: Steven Normore <snormore@gmail.com>
Date: Thu, 25 Apr 2024 12:19:46 -0400
Subject: [PATCH] chore: remove dev/lint

---
 dev/lint | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 dev/lint

diff --git a/dev/lint b/dev/lint
deleted file mode 100755
index 91b20fe..0000000
--- a/dev/lint
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-set -eou pipefail
-
-cargo clippy --all-features --no-deps