From 49fbbb730a47b5f97f9e956d9b7c6cf8616812a5 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sat, 11 Jul 2020 16:59:33 +0200
Subject: [make] add check-mypy target and add mypy as dev dependency

---
 Pipfile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Pipfile')

diff --git a/Pipfile b/Pipfile
index 1fdec70..786bdcd 100644
--- a/Pipfile
+++ b/Pipfile
@@ -6,6 +6,7 @@ verify_ssl = true
 [dev-packages]
 yapf = "*"
 pylint = "*"
+mypy = "*"
 
 [packages]
 numpy = "*"
-- 
cgit v1.2.3