From a32831c840aa5ebf8b78caf38db5ba45f8be96c3 Mon Sep 17 00:00:00 2001
From: Elena ``of Valhalla'' Grandi <valhalla@trueelena.org>
Date: Fri, 11 Mar 2022 09:53:17 +0100
Subject: use one command for tests / coverage / etc.

---
 run_typecheck | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 run_typecheck

(limited to 'run_typecheck')

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
-- 
cgit v1.2.3