| commit | 5a530133d6f1db4e09193fb97745e37a862503fd | |
| 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> | |
| Wed, 2 Nov 2011 20:12:28 +0000 (2 15:12 -0500) | ||
| tree | 6494a3be18a0fb316b5784e3e17fb38bf266c493 | treesnapshot (tar.gz zip) |
| parent | ad9b06cbb99029607115ba399ccbd281bd2b331b | 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 |