Johannes Schindelin a1de966b3e Amend "git grep -O -i: if the pager is 'less', pass the '-i' option" ...

This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2011-10-31 11:47:56 -05:00

28 KiB

Raw Blame History

View Raw