mirror of
https://github.com/zeldaret/mm.git
synced 2026-05-26 07:38:45 -04:00
97e066f23f
* fix asm differ branch * git subrepo pull --force tools/asm-differ subrepo: subdir: "tools/asm-differ" merged: "fd0984c97" upstream: origin: "https://github.com/simonlindholm/asm-differ.git" branch: "main" commit: "fd0984c97" git-subrepo: version: "0.4.3" origin: "???" commit: "???" * delete asm-processor * git subrepo clone git@github.com:simonlindholm/asm-processor.git tools/asm-processor subrepo: subdir: "tools/asm-processor" merged: "755f734fb" upstream: origin: "git@github.com:simonlindholm/asm-processor.git" branch: "main" commit: "755f734fb" git-subrepo: version: "0.4.3" origin: "???" commit: "???" * re-add build.py * remove subrepo * git subrepo pull --force tools/asm-differ subrepo: subdir: "tools/asm-differ" merged: "1dfba80e1" upstream: origin: "https://github.com/simonlindholm/asm-differ.git" branch: "main" commit: "1dfba80e1" git-subrepo: version: "0.4.3" origin: "???" commit: "???"
18 lines
406 B
INI
18 lines
406 B
INI
[mypy]
|
|
check_untyped_defs = True
|
|
disallow_any_generics = True
|
|
disallow_incomplete_defs = True
|
|
disallow_subclassing_any = True
|
|
disallow_untyped_calls = True
|
|
disallow_untyped_decorators = True
|
|
disallow_untyped_defs = True
|
|
no_implicit_optional = True
|
|
warn_redundant_casts = True
|
|
warn_return_any = True
|
|
warn_unused_ignores = True
|
|
python_version = 3.6
|
|
files = diff.py
|
|
|
|
[mypy-diff_settings]
|
|
ignore_errors = True
|