From 930fd9928c70692f6688d8ea090d518aec4cc1cf Mon Sep 17 00:00:00 2001
From: Tim Rid <6593626+timrid@users.noreply.github.com>
Date: Sun, 9 Jan 2022 12:30:57 +0100
Subject: [PATCH] added mypy.ini: no error on unused ignores. mypy and pyright
 are slightly different, so pyright needs some ignores that mypy does not nee.

---
 mypy.ini | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 mypy.ini

diff --git a/mypy.ini b/mypy.ini
new file mode 100644
index 0000000..3412486
--- /dev/null
+++ b/mypy.ini
@@ -0,0 +1,3 @@
+[mypy]
+strict = True
+warn_unused_ignores = False
\ No newline at end of file