1 files changed, 0 insertions, 3 deletions
diff --git a/run_typecheck b/run_typecheck
deleted file mode 100755
index 1dd6bc9..0000000
--- a/run_typecheck
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-mypy hazwaz