Merge branch 'jc/how-to-document-api'
authorJunio C Hamano <gitster@pobox.com>
Fri, 19 Oct 2018 04:34:05 +0000 (13:34 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 19 Oct 2018 04:34:05 +0000 (13:34 +0900)
commit0d4f473a985e5b5f15ae88fd8dda695a694b9955
treeadafde44c1aff202ef8d153378112ff74690ffdb
parentd152a74e2584dd0e235c9bcc97ef6a9ed239994a
parentd9f079ad1a866151fea01f7f977dfbd1ba4d97f7
Merge branch 'jc/how-to-document-api'

Doc update.

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