| commit | 5e56c41a34f2509f567f15a0dcdacc0d0bb55f6b | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Thu, 17 Feb 2011 15:09:10 +0000 (17 16:09 +0100) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Sat, 6 Aug 2011 11:44:42 +0000 (6 13:44 +0200) | ||
| tree | f18574eb2ad41536e36fed089f0a1a492cdd8827 | treesnapshot (tar.gz zip) |
| parent | fd35f56f310f8715d364236b49912666ccc8eb67 | commitdiff |
Amend "git grep -O -i: if the pager is 'less', pass the '-i' option"
This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| builtin/grep.c | diffblobblamehistory |