| commit | 17706a5251d9e1259d6c4597909bdbfa999b28d8 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600) | ||
| committer | Karsten Blees <blees@dcon.de> | |
| Thu, 15 Mar 2012 17:05:21 +0000 (15 18:05 +0100) | ||
| tree | cb821faac00f170315b4ce98b7c370e9205e4f20 | treesnapshot (tar.gz zip) |
| parent | 82c010fec809c5ba005a596859b838af5f301a89 | 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 |