| commit | 3c812f378753dd07a767805534864ddbb518994c | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Thu, 17 Feb 2011 15:09:10 +0000 (17 16:09 +0100) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Thu, 5 Jan 2012 20:29:37 +0000 (5 14:29 -0600) | ||
| tree | f586f9b0dae9cf7615b8da53d5906bd5a5d50c0b | treesnapshot (tar.gz zip) |
| parent | a2ec7371865d8beccb9aaefac3a8695e2489af88 | 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 |