diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-09-18 23:53:13 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-09-18 23:53:13 +0300 |
| commit | 921a713d66acdc90427ab80c4cb039be73b3ae72 (patch) | |
| tree | 48959c54981008e7256e61b10b3500daef63a7cc /contrib | |
| parent | bda494f4043963b9ec9a1ecd4b19b7d1cd9a0518 (diff) | |
| parent | aae8558b1038de452acee672dffca30339f65fa9 (diff) | |
Merge branch 'rs/grep-no-no-or'
"git grep -e A --no-or -e B" is accepted, even though the negation
of "or" did not mean anything, which has been tightened.
* rs/grep-no-no-or:
grep: reject --no-or
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions