| commit | 73a806faa5af3b6bfe07de84d067951441b3e1d4 | |
| 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> | |
| Mon, 30 Dec 2013 01:18:00 +0000 (29 19:18 -0600) | ||
| tree | 34fa8e8fa265dd9086a33c18d119dc24a1265ec6 | treesnapshot (tar.gz zip) |
| parent | ccf398bf3f0663320ca21e5973fdf9f4a86cd5eb | 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 |