mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-12-15 10:12:40 +08:00
Code Issues Packages Projects Releases Wiki Activity
d25c3aaaa7
godot/doc/tools
History
Hugo Locurcio f0b860fbad
makerst: Improve error reporting 
- List file names before error descriptions, as is common in linters.
- Print the number of errors reported at the end of the list.
- Use double quotes instead of single quotes in messages.
2022-04-11 02:34:37 +02:00
..
doc_status.py
make_rst.py makerst: Improve error reporting 2022-04-11 02:34:37 +02:00