godot/doc/tools
Hugo Locurcio 0f394c0621
makerst: Suggest using `[code skip-lint]` to skip warnings if intended
(cherry picked from commit cd3078e45b)
2024-03-11 00:11:29 +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 makerst: Suggest using `[code skip-lint]` to skip warnings if intended 2024-03-11 00:11:29 +01:00