From 510ec5768cf5aa063420c33cf18b674e30b8c4d9 Mon Sep 17 00:00:00 2001
From: Matt Wala <wala1@illinois.edu>
Date: Wed, 3 Jun 2020 22:25:34 -0500
Subject: [PATCH] Add missing file

---
 run-mypy.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 run-mypy.sh

diff --git a/run-mypy.sh b/run-mypy.sh
new file mode 100755
index 0000000..43e6485
--- /dev/null
+++ b/run-mypy.sh
@@ -0,0 +1,3 @@
+#! /bin/bash
+
+mypy pytools
-- 
GitLab