godot/doc/tools
Hugo Locurcio a3bd201cc7 makerst: Print status messages to make the CI output clearer
This also removes an unused method.

(cherry picked from commit 9065b7ed4e)
2020-06-04 12:09:39 +02:00
..
doc_merge.py Add a pre-commit hook to check the class reference syntax 2019-12-06 23:40:19 +01:00
doc_status.py Improve the doc_status.py console output 2020-02-12 14:59:21 +01:00
makerst.py makerst: Print status messages to make the CI output clearer 2020-06-04 12:09:39 +02:00