]> granicus.if.org Git - git/commitdiff
Merge branch 'ps/common-info-doc'
authorJunio C Hamano <gitster@pobox.com>
Fri, 11 Nov 2016 21:56:31 +0000 (13:56 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 Nov 2016 21:56:31 +0000 (13:56 -0800)
Doc fix.

* ps/common-info-doc:
  doc: fix location of 'info/' with $GIT_COMMON_DIR


Trivial merge