diff options
| author | yobmod <yobmod@gmail.com> | 2021-02-28 18:04:24 +0000 |
|---|---|---|
| committer | yobmod <yobmod@gmail.com> | 2021-02-28 18:04:24 +0000 |
| commit | 2d92fee01b05e5e217e6dad5cc621801c31debae (patch) | |
| tree | 380176227b1756460d39e8555c44c5c99235dbfa /mypy.ini | |
| parent | 9c6178f53233aa98a602854240a7a20b6537aa7b (diff) | |
| download | gitpython-2d92fee01b05e5e217e6dad5cc621801c31debae.tar.gz | |
add py.typed, mypy.ini and git/types.py
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 00000000..72716491 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,4 @@ + +[mypy] + +disallow_untyped_defs = True
\ No newline at end of file |