Andrew's git / gitweb.git / diff
?
Merge branch 'po/maint-refs-replace-docs' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:34:09 +0000 (19:34 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:34:09 +0000 (19:34 -0800)
The refs/replace hierarchy was not mentioned in the
repository-layout docs.

* po/maint-refs-replace-docs:
Doc repository-layout: Show refs/replace

Trivial merge