| commit | 81c5a0857443b338b5be37bf8167529c433b3e7d | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Sat, 8 Oct 2011 19:55:29 +0000 (8 14:55 -0500) | ||
| tree | d9cec1f02e99585c9f4b536ce102233efbc3ac26 | treesnapshot (tar.gz zip) |
| parent | 6593b01519d56ffa35bf497103fc2f399c000ff0 | commitdiff |
git grep -O -i: if the pager is 'less', pass the '-i' option
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| builtin/grep.c | diffblobblamehistory |