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 | 19d5a0b2c130b167c1f8c5bfab9ef2d8c49f78d0 (patch) | |
| tree | 6cd5c6f1a9d6ea11da233c1907b5447fc48f2a19 /git-gui | |
| parent | d6c51973e4a0e889d1a426da08f52b9203fa1df2 (diff) | |
| parent | 2a63c79dae72b25420bc71116bef7436fd846758 (diff) | |
Merge branch 'rs/grep-parseopt-simplify'
Simplify use of parse-options API a bit.
* rs/grep-parseopt-simplify:
grep: use OPT_INTEGER_F for --max-depth
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions