Files
git/builtin
Johannes Schindelin 8554526e7b git grep -O -i: if the pager is 'less', pass the '-i' option
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2012-05-03 10:32:52 -05:00
..