Merge branch 'jk/diff-no-index-pager'

"git diff --no-index" did not work with pagers correctly.

Junio C Hamano committed Jun 28, 2012 at 15:19 UTC defd7aa34c81148904ed5d22d975b5b3c843e040

No changes.