godot/doc/tools
Hugo Locurcio 7c3f6b2870
Improve the `doc_status.py` console output
- Duplicate the header when the `-a` flag is enabled. Since lots of
  items are displayed in this case, this helps the user remember
  which column is which without having to scroll back to the top.
- Bolden the overall percentages for easier visual grepping.
2020-02-01 00:24:39 +01:00
..
doc_merge.py
doc_status.py Improve the `doc_status.py` console output 2020-02-01 00:24:39 +01:00
makerst.py doc: Drop unused 'category' property from header 2020-01-26 16:02:39 +01:00