]> git.cworth.org Git - notmuch/commitdiff
cli: change api of parse_option
authorDavid Bremner <david@tethera.net>
Sat, 1 Jul 2017 15:18:44 +0000 (12:18 -0300)
committerDavid Bremner <david@tethera.net>
Wed, 12 Jul 2017 20:44:15 +0000 (17:44 -0300)
The idea is to allow it (in a future commit) advance to the next argv
element to get a value


No differences found