[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / e4 / 8e819813a47d3b19ff7485fa96bcc1038d66df
2016-08-20 David Bremner[Patch v4 5/5] debian: add gpgsm as build dependency