diff options
| author | Christian Couder <christian.couder@gmail.com> | 2017-12-09 21:40:09 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-12-11 16:10:12 -0800 |
| commit | 948cbe6703d0d1e3ba65fd10037bafd1b8b87696 (patch) | |
| tree | d61d6a10e8fd30bc19a964fc4542ddf4c0a45aaa /git-gui/lib | |
| parent | 72885a6d5181ca090039917b6ce76b952ebb59b1 (diff) | |
diff: use skip_to_optional_arg()
Let's simplify diff option parsing using skip_to_optional_arg().
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions