Andrew's git / gitweb.git / diff
?
Merge branch 'jk/doc-do-not-write-extern' into next
authorJunio C Hamano <gitster@pobox.com>
Wed, 14 Feb 2018 21:34:29 +0000 (13:34 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 14 Feb 2018 21:34:29 +0000 (13:34 -0800)
Devdoc update.

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

Trivial merge