git grep -O -i: if the pager is 'less', pass the '-i' option
commit07e4ec128d3d6566cf944c6d7a5ee92d37b34cb5
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, 24 Apr 2011 23:42:44 +0000 (25 00:42 +0100)
treeb7ebdd1e851572db6cdbdc399e8aa35830438114
parentafd3a2cc41f20840205f02c74d69f6e42452c2e8
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