| commit | 6ed080739210b7eb4cc375546ce61b65ab7c0d22 | |
| 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> | |
| Wed, 1 Jun 2011 10:51:26 +0000 (1 12:51 +0200) | ||
| tree | b04fbfca4d36fa9939b61d63b5630aae45e2f30b | treesnapshot (tar.gz zip) |
| parent | 4b66d0080649ba394af0b147cd2cdc7eab92a152 | 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 |