| commit | 144890f13247d1df2c920f53a8b40e3403311ce8 | |
| 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> | |
| Mon, 24 Oct 2011 15:07:26 +0000 (24 10:07 -0500) | ||
| tree | 24bc6a72e6712b34400c287d3b0bf02b0c2bbc81 | treesnapshot (tar.gz zip) |
| parent | 9fb40fb1dfc665daf92e63a69e9e75f21a290366 | 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 |