Merge branch 'jk/diff-no-index-pager'
authorJunio C Hamano <gitster@pobox.com>
Thu, 28 Jun 2012 22:19:11 +0000 (15:19 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Jun 2012 22:19:11 +0000 (15:19 -0700)
commitdefd7aa34c81148904ed5d22d975b5b3c843e040
tree556f7f92c9cef72ab66f0f68e6ecd473b9a4bfd9
parentbc9e7dd41fe8b51cc7f2e79312a2ff777899f930
parentaf63b543ed9f7d606cdd2c7a3bcded4e2dc8dad4
Merge branch 'jk/diff-no-index-pager'

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