| commit | d67a36bd08a542b2dc86b357d600014b20a7bb30 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600) | ||
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | |
| Mon, 1 Oct 2012 13:34:06 +0000 (1 14:34 +0100) | ||
| tree | 0c7a8865de25986489763ca2e8bb862dd48e83f4 | treesnapshot (tar.gz zip) |
| parent | 7ee6491532a903b8d5780bbf7c9a0851cc85b697 | 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 |