| commit | c18070d364e9b9523ada22d85934cf7ec36c24d1 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 8 Feb 2011 06:17:24 +0000 (8 00:17 -0600) | ||
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | |
| Tue, 19 Jun 2012 22:29:02 +0000 (19 23:29 +0100) | ||
| tree | f82949e3543fc776adf01769c47ad4855c781845 | treesnapshot (tar.gz zip) |
| parent | 982e40f0e42dea8838cda1e9193a0d5184c39e02 | 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 |