godotengine/godot: Official EU-hosted mirror of the Godot Engine GitHub repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ 369b981a750b17d904931688df52bffa3005a172

Hugo Locurcio 0f394c0621 makerst: Suggest using `[code skip-lint]` to skip warnings if intended		hai 1 ano
..
doc_status.py	c16db0935f Fix `doc_status.py` trying to get removed `version` tag from XML	hai 1 ano
make_rst.py	0f394c0621 makerst: Suggest using `[code skip-lint]` to skip warnings if intended	hai 10 meses