mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-12-09 10:09:20 +08:00
Code Issues Packages Projects Releases Wiki Activity
d7d34e4bc1
godot/doc/tools
History
Jiri Suchan c5bd2f9dce ci: add Python static analysis check via mypy
2022-09-30 19:03:17 +07:00
..
doc_status.py Add Python PEP 484/526 type hints to doc/tools/doc_status.py 2022-07-29 13:27:48 -04:00
make_rst.py ci: add Python static analysis check via mypy 2022-09-30 19:03:17 +07:00