diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-06-29 00:19:11 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-06-29 00:19:11 +0200 |
| commit | defd7aa34c81148904ed5d22d975b5b3c843e040 (patch) | |
| tree | 556f7f92c9cef72ab66f0f68e6ecd473b9a4bfd9 /builtin/grep.c | |
| parent | Second batch for 1.7.12 (diff) | |
| parent | do not run pager with diff --no-index --quiet (diff) | |
| download | git-defd7aa34c81148904ed5d22d975b5b3c843e040.tar.xz git-defd7aa34c81148904ed5d22d975b5b3c843e040.zip | |
Merge branch 'jk/diff-no-index-pager'
"git diff --no-index" did not work with pagers correctly.
Diffstat (limited to 'builtin/grep.c')
0 files changed, 0 insertions, 0 deletions