[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / 1f / a23b619b21fa6ad3abe69f93fb049504491962
2014-11-07 David BremnerRe: [PATCH 1/4] Make configure use /bin/bash instead...