chiark / gitweb /
dgit: opts_opt_multi_cmd: New @$extra feature
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Jul 2018 02:58:32 +0000 (03:58 +0100)
committerSean Whitton <spwhitton@spwhitton.name>
Sat, 28 Jul 2018 04:12:05 +0000 (12:12 +0800)
commit0bcc20f07f70ee1ec422f149d6155ed5114be0c1
tree81c2315e9d5243f2bd13ad4cab74a3d0e9891e40
parent5b8c24e476a4619fe7b4be9df71858969c128c08
dgit: opts_opt_multi_cmd: New @$extra feature

Adjust the existing call sites.  NFC.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit