diff options
| author | Julian Murgia <the.straton@gmail.com> | 2017-10-04 11:07:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-04 11:07:36 +0200 |
| commit | f4ddbc024c68fff747b057a0aeaad69e033b9f0f (patch) | |
| tree | 7f5153f7d4c05619e41506963f032939ea898090 /misc | |
| parent | b2046836401fe5cdaf4ae6ae32ad3323511b956d (diff) | |
| parent | 328b78a0b90d2ad557254b39a4d8b3759ba018ed (diff) | |
Merge pull request #11802 from mhilbrunner/docstatus-todo-filter
doc_status.py: Add -t (--todo) option, show only non-empty items
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions