From ce73a7d3bf4f8bf6e370bd1ac8692e2cdb1b4f7d Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Tue, 28 May 2019 11:22:03 +0000
Subject: [PATCH] Update mypy config

It now ignores unused imports, because I don't want to write types for
all the libraries I use.
---
 mypy.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mypy.ini b/mypy.ini
index 6fd0e6a..9adf49a 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -2,3 +2,4 @@
 disallow_untyped_defs = True
 disallow_incomplete_defs = True
 no_implicit_optional = True
+ignore_missing_imports = True