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