[PATCH 7/9] CLI: add properties to dump output
[notmuch-archives.git] / f9 / fec1e6570078eb017fba0570f5f0cf39460e86
2016-08-20 David BremnerRe: [PATCH] configure: add --without-docs switch