2 commits

Author	SHA1	Message	Date
Rémi Verschelde	034d6e811f	Various improvements to doc_status.py ... - Make comments opt-in (smaller table in width) - Reduce length of Brief Description and Description (also smaller table as output) - Make names cyan (blue is too dark on black terminal) - Drop some redundant synonyms for the flags	2016-04-26 21:35:06 +02:00
Bojidar Marinov	c9340cdcc6	Add a python script to check the current doc status	2016-04-22 18:32:15 +03:00