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
..
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00