| commit | c7fb7a68bdb0fde95dd6311b0a6c4a28e9edaeca | |
| 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, 13 Mar 2012 05:44:31 +0000 (13 00:44 -0500) | ||
| tree | 3d9bc2a8f33160e6a8c07626adc67ada03ccb6be | treesnapshot (tar.gz zip) |
| parent | 22a467013aa1193d920edaa9bdb5d24a5070e2cd | 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 |