1 files changed, 0 insertions, 3 deletions
diff --git a/splint.sh b/splint.sh
deleted file mode 100644
index 6277efb..0000000
--- a/splint.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-echo "splint check $1"
-splint -f .splint.rc $1