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 /diff.c | |
| parent | Merge branch 'rs/grep-parseopt-simplify' (diff) | |
| parent | name-rev: use OPT_HIDDEN_BOOL for --peel-tag (diff) | |
| download | git-d4cab3717f1afb6d0f423fa7b1cd87b657c507e3.tar.gz git-d4cab3717f1afb6d0f423fa7b1cd87b657c507e3.zip | |
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 'diff.c')
0 files changed, 0 insertions, 0 deletions