| commit | 5bc00c6e5a67874b41a42a2ed4ee7d3db3dada2e | |
| 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> | |
| Mon, 24 Oct 2011 15:07:26 +0000 (24 10:07 -0500) | ||
| tree | a168f48da7a4cc3efec1c11ba6e9b9dfbcc5ff2e | treesnapshot (tar.gz zip) |
| parent | 144890f13247d1df2c920f53a8b40e3403311ce8 | 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 |