| commit | a2ec7371865d8beccb9aaefac3a8695e2489af88 | |
| 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> | |
| Thu, 5 Jan 2012 20:29:36 +0000 (5 14:29 -0600) | ||
| tree | ab6731db1aa0a346dab3ba4e590ff32083b6502c | treesnapshot (tar.gz zip) |
| parent | 538ba9a8a4468e69fdab1b945c6c55a60e122557 | 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 |