Andrew's git / gitweb.git / diff
?
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