| commit | 75482e4d5c08f924a56e25226d5c2cadc6a5b656 | |
| 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, 30 Mar 2011 22:29:38 +0000 (31 00:29 +0200) | ||
| tree | e08dd0cfe712f98b5eb185111ae86d839d584dd9 | treesnapshot (tar.gz zip) |
| parent | 7cc8ecec5b140bc6feb7797a9eba4aadabae8835 | 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 |