Andrew's git / gitweb.git / diff
?
Merge branch 'jh/partial-clone-doc'
authorJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:47 +0000 (14:08 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:47 +0000 (14:08 -0800)
* jh/partial-clone-doc:
partial-clone: design doc

Trivial merge