Andrew's git / gitweb.git / diff
?
Merge branch 'mg/texinfo-5' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000 (13:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000 (13:41 -0700)
* mg/texinfo-5:
Documentation: Strip texinfo anchors to avoid duplicates

Trivial merge