git grep -O -i: if the pager is 'less', pass the '-I' option
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 8 Feb 2011 06:17:24 +0000 (00:17 -0600)
committerJunio C Hamano <gitster@pobox.com>
Thu, 15 May 2014 19:49:23 +0000 (12:49 -0700)
commitf7febbe...07cf6d65f85b0cdb6684d2e3666c557e
tree8f9d850...47178466da27f95fe978151ba4ca0f06copy hash to clipboard (tree)
parent7bbc4e8...db33e0a8e42e77cc05460d4c4f615f4dcopy hash to clipboard (diff)
builtin/grep.c