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	…