| commit | a6f7d64f3fdf576dd41af99014620428f0c7e8cf | |
| 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> | |
| Tue, 22 Mar 2011 12:35:24 +0000 (22 13:35 +0100) | ||
| tree | 3b98e524b02e381fc6848a487a62a15175e0010b | treesnapshot (tar.gz zip) |
| parent | 3e3f8defdf9e67999566ad9ed639af871894d5aa | 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 |