git grep -O -i: if the pager is 'less', pass the '-i' option
commit8c6894c544bd2942d8ffc8be58921a10131ddd63
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Sun, 29 Jan 2012 10:58:39 +0000 (29 10:58 +0000)
tree11d878ab03b701930aeca617f0d2fb7908a38f66
parent85438e6a750c2fb3c544a34ad2158166c868f221
git grep -O -i: if the pager is 'less', pass the '-i' option

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
builtin/grep.c