Andrew's git / gitweb.git / diff
?
Merge branch 'jc/how-to-document-api' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:58:03 +0000 (22:58 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:58:03 +0000 (22:58 +0900)
Doc update.

* jc/how-to-document-api:
CodingGuidelines: document the API in *.h files

Trivial merge