diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:24 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:24 +0900 |
| commit | f76827da0e54490b3c4778ce19947b91d6828495 (patch) | |
| tree | db8e0fb49b1cceba51663bd6b6f41d4d63dd1729 /gitweb/static/js/javascript-detection.js | |
| parent | Merge branch 'rs/grep-parseopt-simplify' into maint-2.42 (diff) | |
| parent | name-rev: use OPT_HIDDEN_BOOL for --peel-tag (diff) | |
| download | git-f76827da0e54490b3c4778ce19947b91d6828495.tar.gz git-f76827da0e54490b3c4778ce19947b91d6828495.zip | |
Merge branch 'rs/name-rev-use-opt-hidden-bool' into maint-2.42
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 'gitweb/static/js/javascript-detection.js')
0 files changed, 0 insertions, 0 deletions