From: David Bremner <david@tethera.net>
Date: Sat, 1 Jul 2017 15:18:44 +0000 (-0300)
Subject: cli: change api of parse_option
X-Git-Tag: 0.25_rc0~32
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=de9baa29dc990e4166b47dc2b0d0cf560014834b;hp=de9baa29dc990e4166b47dc2b0d0cf560014834b;p=notmuch

cli: change api of parse_option

The idea is to allow it (in a future commit) advance to the next argv
element to get a value
---