You've already forked gnat-gdb-scripts
mirror of
https://github.com/AdaCore/gnat-gdb-scripts.git
synced 2026-02-12 12:44:23 -08:00
19 lines
307 B
INI
19 lines
307 B
INI
[mypy]
|
|
python_version=3.9
|
|
|
|
files=
|
|
gnatdbg,
|
|
testsuite/run.py,
|
|
testsuite/support
|
|
|
|
no_implicit_optional = True
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
|
|
[mypy-coverage.*]
|
|
ignore_missing_imports = True
|
|
|
|
[mypy-pexpect.*]
|
|
ignore_missing_imports = True
|