| commit | 197ed24c1e9261ce52cccfe8ded8163130f2886b | |
| 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> | |
| Tue, 5 Jun 2012 18:44:17 +0000 (5 13:44 -0500) | ||
| tree | 16ea51a6b90c784c74123347e80444250fe8a6e0 | treesnapshot (tar.gz zip) |
| parent | 78bcf6d61a2d23f76e6842db505d1da70b6409b2 | 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 |