cli: add top level --config=FILE option
authorJani Nikula <jani@nikula.org>
Sun, 3 Mar 2013 21:55:10 +0000 (23:55 +0200)
committerDavid Bremner <bremner@debian.org>
Fri, 8 Mar 2013 11:54:53 +0000 (07:54 -0400)
commited016e5670b715aea6750343aea698c38a7e7440
tree0212cefff5de3f7c462f08b7547b441b9b3831c3
parent4ef2106792439f5ade157b3ba3b8f7fa86fcb3ed
cli: add top level --config=FILE option

Let the user specify the config file on the command line.
notmuch.c