mirror of
https://github.com/zeldaret/oot.git
synced 2025-08-08 15:30:14 +00:00
subrepo and update asm-differ (#1664)
* git subrepo clone git@github.com:simonlindholm/asm-differ.git tools/asm-differ subrepo: subdir: "tools/asm-differ" merged: "11eee5916" upstream: origin: "git@github.com:simonlindholm/asm-differ.git" branch: "main" commit: "11eee5916" git-subrepo: version: "0.4.6" origin: "https://github.com/ingydotnet/git-subrepo" commit: "110b9eb" * ln -s ./tools/asm-differ/diff.py diff.py
This commit is contained in:
parent
18b7030534
commit
17f08788aa
17 changed files with 4541 additions and 2728 deletions
17
tools/asm-differ/mypy.ini
Normal file
17
tools/asm-differ/mypy.ini
Normal file
|
@ -0,0 +1,17 @@
|
|||
[mypy]
|
||||
check_untyped_defs = True
|
||||
disallow_any_generics = True
|
||||
disallow_incomplete_defs = 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
|
||||
ignore_missing_imports = True
|
||||
python_version = 3.7
|
||||
files = diff.py, test.py
|
||||
|
||||
[mypy-diff_settings]
|
||||
ignore_errors = True
|
Loading…
Add table
Add a link
Reference in a new issue