| commit | 88d647413ec52c3ccb44788001b64cf0a195ac0d | |
| 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> | |
| Tue, 6 Dec 2011 00:17:27 +0000 (6 00:17 +0000) | ||
| tree | e08852b20df6f3249db5a4ac45927b615496e843 | treesnapshot (tar.gz zip) |
| parent | 67810883416defb6afbaecac587e3beab97a91c2 | 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 |