Andrew's git / gitweb.git / diff
?
Merge branch 'jk/subtree-install-fix'
authorJunio C Hamano <gitster@pobox.com>
Mon, 4 Nov 2013 22:58:08 +0000 (14:58 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 4 Nov 2013 22:58:08 +0000 (14:58 -0800)
* jk/subtree-install-fix:
subtree: add makefile target for html docs

Trivial merge