[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / d9 / 2c7f2d8ed98ce9bb36c4c5385d81adbb294326
2014-11-07 W. Trevor King[PATCH v2 1/5] doc: Allow rst2man.py as an alternative...