tree 64939d2c725042c7c3b9c46aa9bd0c8d47cf98a2
parent d4924ea7c3073c40b0f2cb367f21323aab9abfcd
parent 6c96630cb0900446f7069f64d3d58bac539c0a58
author Junio C Hamano <gitster@pobox.com> 1575219872 -0800
committer Junio C Hamano <gitster@pobox.com> 1575219872 -0800

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