git grep -O -i: if the pager is 'less', pass the '-i' option
commit606228a24555259b0e439ab527eb5f04160aceb9
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600)
committerStepan Kasal <kasal@ucw.cz>
Wed, 16 Apr 2014 14:32:32 +0000 (16 16:32 +0200)
tree1ac390814d6a42e763ce28cdf7f760b646805d5d
parentd4c36517ad7e3a3537719a79f95e48d1e0caf64a
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