git grep -O -i: if the pager is 'less', pass the '-i' option
commitc088ff12d8ca11d057ea68f6127333a542119fc7
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerErik Faye-Lund <kusmabite@gmail.com>
Fri, 4 Jan 2013 13:05:15 +0000 (4 14:05 +0100)
tree729a3d151b3de6bb12c39b210e9dd08594e73d0e
parentc7c4b3b9309123dea8d571cf68fc91ee7e150f90
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