From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 12 Sep 2013 21:41:53 +0000 (-0700)
Subject: Merge branch 'jc/pager-configuration-doc'
X-Git-Tag: v1.8.5-rc0~139
X-Git-Url: https://repo.or.cz/w/git.git/commitdiff_plain/d5d0a23dbb5cb2adf5bfe23e7af48a2330b40de9

Merge branch 'jc/pager-configuration-doc'

It was unclear in the documentation how various configurations and
environment variables determine which pager is eventually used.

* jc/pager-configuration-doc:
  config: rewrite core.pager documentation
---

d5d0a23dbb5cb2adf5bfe23e7af48a2330b40de9