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)
commite55b5127de98ca15bab31c9f28f562746a99459a
treea6465f0b057e16a063ff020ba95434fae555ad7b
parent2f564fb4b38fd9f618b8ff7207f12f9b55370e07
parent89a9f2c862db52d99e4dd78e799f4b36dac597ac
Merge branch 'jk/doc-do-not-write-extern' into next

Devdoc update.

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