]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'hw/config-doc-in-header'
authorJunio C Hamano <gitster@pobox.com>
Sun, 1 Dec 2019 17:04:32 +0000 (09:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 1 Dec 2019 17:04:32 +0000 (09:04 -0800)
Follow recent push to move API docs from Documentation/ to header
files and update config.h

* hw/config-doc-in-header:
  config: move documentation to config.h


Trivial merge