diff options
Diffstat (limited to '')
-rw-r--r-- | mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 1f33246417..3d20d99a94 100644 --- a/mypy.ini +++ b/mypy.ini @@ -11,6 +11,7 @@ local_partial_types = True no_implicit_optional = True files = + docker/, scripts-dev/, setup.py, synapse/, |