| commit | 80d7b9116af979b6b827b4f2d8e871f24f698a7e | |
| 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, 10 May 2014 21:56:40 +0000 (10 16:56 -0500) | ||
| tree | b703dddb0fdfc8023a7a45f68c5741f159ed1b8b | treesnapshot (tar.gz zip) |
| parent | 4e4b3c742b2cc3a2a17cffb565fbfda026f0b4bd | 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 |