| commit | e51d5af4efa828f5fadd1fecfda642247a1bb0d8 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Thu, 17 Feb 2011 15:09:10 +0000 (17 16:09 +0100) | ||
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | |
| Sun, 24 Apr 2011 23:42:45 +0000 (25 00:42 +0100) | ||
| tree | 90a9b95fec8754f4995030dd1abe976bc9db1a72 | treesnapshot (tar.gz zip) |
| parent | 07e4ec128d3d6566cf944c6d7a5ee92d37b34cb5 | commitdiff |
Amend "git grep -O -i: if the pager is 'less', pass the '-i' option"
This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| builtin/grep.c | diffblobblamehistory |