git.99rst.org / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d4924ea 6c96630)
Merge branch 'hw/config-doc-in-header'
authorJunio C Hamano <redacted>
Sun, 1 Dec 2019 17:04:32 +0000 (09:04 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT