Merge branch 'hw/config-doc-in-header'

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

Junio C Hamano committed Dec 1, 2019 at 09:04 UTC 3c90710c0ce80e5b59b5d00fdf0a9b93ff0e62ec

No changes.