git grep -O -i: if the pager is 'less', pass the '-i' option
commita3170e0ee8aaad313045bbd547ea8be3adbe781f
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Thu, 27 Oct 2011 08:51:47 +0000 (27 09:51 +0100)
treefd57d068449c2dcab429d16fbd694c312c5a6138
parent2684e38a06681a903d26f8242865160debae0cce
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