diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2018-09-22 00:55:57 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2018-09-22 00:55:57 +0300 |
| commit | 6b2aa24d6ece14c6b178e9a13d3fca3ce97cd741 (patch) | |
| tree | 6c5447f7dece01dd35e595fcdd94d0c434a4e9b2 /mypy.ini | |
| parent | d722a8558b6fcefe5f9b0d700b92642aef9b8d7c (diff) | |
Fix rest of mypy errors
- This allows us to run mypy on the full gajim folder
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -1,5 +1,6 @@ [mypy] python_version = 3.5 +warn_unused_configs = True disallow_incomplete_defs = True [mypy-nbxmpp.*] @@ -61,3 +62,12 @@ ignore_missing_imports = True [mypy-docutils.*] ignore_missing_imports = True + +[mypy-IPython.*] +ignore_missing_imports = True + +[mypy-traitlets.*] +ignore_missing_imports = True + +[mypy-pygments.*] +ignore_missing_imports = True
\ No newline at end of file |