]> granicus.if.org Git - git/commitdiff
Merge branch 'hw/remove-api-docs-placeholder' into jch
authorJunio C Hamano <gitster@pobox.com>
Fri, 25 Oct 2019 06:09:54 +0000 (15:09 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 25 Oct 2019 06:09:54 +0000 (15:09 +0900)
* hw/remove-api-docs-placeholder:
  documentation: remove empty doc files


Trivial merge