git grep -O -i: if the pager is 'less', pass the '-i' option
commit67810883416defb6afbaecac587e3beab97a91c2
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 6 Dec 2011 00:17:25 +0000 (6 00:17 +0000)
tree54c1faaa43e7881ace2f2663badf76f58c6e65e1
parent41d63e5f5d8d784985e2b61d421931eae0da9718
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