Merge branch 'jk/doc-do-not-write-extern' into jch
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Feb 2018 20:46:35 +0000 (12:46 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Feb 2018 20:46:35 +0000 (12:46 -0800)
commit0a926423bdee941a6cc46dc4b9efd3b04f1fb2e4
treec9065e9683b228185f1b7a49edb6186737a7d4bc
parent648e1e80b4d3ea3e580b3768a6050ffe2ac53bc0
parent89a9f2c862db52d99e4dd78e799f4b36dac597ac
Merge branch 'jk/doc-do-not-write-extern' into jch

Devdoc update.

* jk/doc-do-not-write-extern:
  CodingGuidelines: mention "static" and "extern"