| commit | a9433e99ca0ca700142afea037dfa92096c0993c | |
| 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> | |
| Tue, 29 May 2012 02:18:50 +0000 (28 21:18 -0500) | ||
| tree | cb041ee41347e311a75230bf1721fbda4f9743a3 | treesnapshot (tar.gz zip) |
| parent | b2b094d831133ec057b8a9d5429a5819042672e3 | 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 |