godot/doc/tools
Micky 02e95d5a08 Fixing some reports to String's documentation
Closes https://github.com/godotengine/godot-docs/issues/8043
Closes https://github.com/godotengine/godot-docs/issues/8044
Mitigates https://github.com/godotengine/godot-docs/issues/8190
Closes https://github.com/godotengine/godot/issues/86734

(cherry picked from commit 46b0f3e9d6)
2024-01-24 16:01:59 +01:00
..
doc_status.py Fix `doc_status.py` trying to get removed `version` tag from XML 2023-07-13 16:25:54 +02:00
make_rst.py Fixing some reports to String's documentation 2024-01-24 16:01:59 +01:00