diff options
Diffstat (limited to 'libc/tools/mypy.ini')
| -rw-r--r-- | libc/tools/mypy.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libc/tools/mypy.ini b/libc/tools/mypy.ini new file mode 100644 index 000000000..026935454 --- /dev/null +++ b/libc/tools/mypy.ini @@ -0,0 +1,3 @@ +[mypy] +# TODO: Enable. +# disallow_untyped_defs = True |