| commit | 13e7afc0f429a8989ff33b7f99da3f41dffa9daf | |
| 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> | |
| Sat, 12 May 2012 04:25:48 +0000 (11 23:25 -0500) | ||
| tree | be4c84d57fd7b73e6e91c0879d29c555c8dad190 | treesnapshot (tar.gz zip) |
| parent | 90b1d1787dd90b0287fc55816b951f7103953da8 | 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 |