diff options
| author | Junio C Hamano <gitster@pobox.com> | 2014-06-06 18:32:49 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-06-06 18:32:49 (GMT) |
| commit | 7e03f416633b5dbd242d6552e239d50a821262c6 (patch) | |
| tree | 6eb66d8ee94f6f1d52cc90b2ff1022744fd08574 /mergetools | |
| parent | 7173ad76edfb016500cc7a97f35b067964085ac8 (diff) | |
| parent | f7febbea07cf6d65f85b0cdb6684d2e3666c557e (diff) | |
| download | git-7e03f416633b5dbd242d6552e239d50a821262c6.zip git-7e03f416633b5dbd242d6552e239d50a821262c6.tar.gz git-7e03f416633b5dbd242d6552e239d50a821262c6.tar.bz2 | |
Merge branch 'sk/spawn-less-case-insensitively-from-grep-O-i'
* 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 'mergetools')
0 files changed, 0 insertions, 0 deletions