From d15c5c4ba246d5866c945342cc09b29d2e849c5c Mon Sep 17 00:00:00 2001
From: wisp3rwind <17089248+wisp3rwind@users.noreply.github.com>
Date: Sat, 17 Dec 2022 22:32:30 +0100
Subject: [PATCH] mypy: ignore_missing_imports = True

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

diff --git a/.mypy.ini b/.mypy.ini
new file mode 100644
index 000000000..b47e5dff3
--- /dev/null
+++ b/.mypy.ini
@@ -0,0 +1,5 @@
+[mypy]
+# FIXME: Would be better to actually type the libraries (if under our control),
+# or write our own stubs. For now, silence errors
+ignore_missing_imports = True
+