Deze website werkt beter met JavaScript.
Beginscherm
Verkennen
Help
Inloggen
visus
/
dds
Volgen
1
Ster
0
Vork
0
Code
Kwesties
0
Pull-aanvragen
0
Publicaties
0
Wiki
Activiteit
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
776
Commits
6
Branches
Branch:
main
better_mac_paths
compile_link_flags
default_compile_flags
gnu_extensions
mac_paths
main
Branches
Labels
${ item.name }
Maak branch
${ searchTerm }
van 'main'
${ noResults }
dds
/
mypy.ini
6 lines
100B
Ruw
Permalink
Blame
Geschiedenis
[mypy]
strict=True
ignore_missing_imports=True
incremental=True
sqlite_cache=True
mypy_path = tools/