| commit | 19d5a0b2c130b167c1f8c5bfab9ef2d8c49f78d0 | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Thu, 14 Sep 2023 18:16:58 +0000 (14 11:16 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Thu, 14 Sep 2023 18:16:58 +0000 (14 11:16 -0700) | ||
| tree | 6cd5c6f1a9d6ea11da233c1907b5447fc48f2a19 | treesnapshot (tar.gz zip) |
| parent | d6c51973e4a0e889d1a426da08f52b9203fa1df2 | commitdiff |
| parent | 2a63c79dae72b25420bc71116bef7436fd846758 | commitdiff |
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
Simplify use of parse-options API a bit.
* rs/grep-parseopt-simplify:
grep: use OPT_INTEGER_F for --max-depth