diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:47:49 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:47:49 -0700 |
| commit | 75b1b04c63e3dfa02fd71caa95c17ed2c3b43050 (patch) | |
| tree | 75b33ebe54fbe3ce500a8eaaa1c87eec193010d2 /contrib | |
| parent | Merge branch 'nd/daemonize-gc' into maint (diff) | |
| parent | git grep -O -i: if the pager is 'less', pass the '-I' option (diff) | |
| download | tgif-75b1b04c63e3dfa02fd71caa95c17ed2c3b43050.tar.xz | |
Merge branch 'sk/spawn-less-case-insensitively-from-grep-O-i' into maint
"git grep -O" to show the lines that hit in the pager did not work
well with case insensitive search. We now spawn "less" with its
"-I" option when it is used as the pager (which is the default).
* sk/spawn-less-case-insensitively-from-grep-O-i:
git grep -O -i: if the pager is 'less', pass the '-I' option
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions