| commit | 42499872f8627f16700bc3ee34159b0d5b56417a | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Fri, 30 Mar 2012 18:42:38 +0000 (30 13:42 -0500) | ||
| tree | f8fb45988cacbfe8f21649a92fdc05f16cb3131c | treesnapshot (tar.gz zip) |
| parent | 5b5eee14103061ce49a1b06a3a5c3bdd1875ff95 | commitdiff |
git grep -O -i: if the pager is 'less', pass the '-i' option
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| builtin/grep.c | diffblobblamehistory |