Merge branch 'jk/doc-do-not-write-extern'
authorJunio C Hamano <gitster@pobox.com>
Tue, 27 Feb 2018 18:33:53 +0000 (10:33 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Feb 2018 18:33:53 +0000 (10:33 -0800)
commit2b0f6b1c187742ec6719478a01885ad902456f84
tree027e967241308d54854408b9780e20a3c1afca91
parent2ac76d8d9dccaaecf3c01845d0f7c1808c75722b
parent89a9f2c862db52d99e4dd78e799f4b36dac597ac
Merge branch 'jk/doc-do-not-write-extern'

Devdoc update.

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