mirror of
https://github.com/godotengine/godot
synced 2024-09-16 00:37:24 +00:00
f0b860fbad
- 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. |
||
---|---|---|
.. | ||
doc_status.py | ||
make_rst.py |