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 +