diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-09-14 11:16:58 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-09-14 11:16:58 -0700 |
| commit | d4cab3717f1afb6d0f423fa7b1cd87b657c507e3 (patch) | |
| tree | 817946666b833973724c4304df353faf80d27dac /git-gui/git-gui.sh | |
| parent | 19d5a0b2c130b167c1f8c5bfab9ef2d8c49f78d0 (diff) | |
| parent | 078c42531e8d6e8c7bfaa1a52dca330f0eef5d94 (diff) | |
Merge branch 'rs/name-rev-use-opt-hidden-bool'
Simplify use of parse-options API a bit.
* rs/name-rev-use-opt-hidden-bool:
name-rev: use OPT_HIDDEN_BOOL for --peel-tag
Diffstat (limited to 'git-gui/git-gui.sh')
0 files changed, 0 insertions, 0 deletions