summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini1
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/,