| commit | 7a01406fde5d72fd7f62a8b26c2e2cef7ae1f128 | |
| 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, 14 Feb 2012 20:01:36 +0000 (14 14:01 -0600) | ||
| tree | 9b439773cf9fec834810190e116f5ce11eb8a52e | treesnapshot (tar.gz zip) |
| parent | efbae6dc80311100a1b22bfccc398c86736fed98 | 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 |