git grep -O -i: if the pager is 'less', pass the '-i' option
commit333a72e4625aa4868896a552f8a1f6262e4d2c9e
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Mon, 22 Oct 2012 12:29:29 +0000 (22 13:29 +0100)
treee04a68d77a88f1c12c55e2a8ca9960599b39bf4d
parent31cf7fa4a744501f7538fe56ff1afab0a9ea4ac0
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