| commit | ff215003b8e7988d97cbcfd1fd8e91d0e85563b9 | |
| 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> | |
| Sun, 20 May 2012 23:45:22 +0000 (20 17:45 -0600) | ||
| tree | 3bbff1879b8fc90ca444190f3d023220c44254fe | treesnapshot (tar.gz zip) |
| parent | 16f5c1807a98d1228b6ec5a521ade3c2c8690caa | 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 |