Merge branch 'hw/remove-api-docs-placeholder' into jch

Docfix. * hw/remove-api-docs-placeholder: documentation: remove empty doc files
git · Nov 4, 2019 · 9a8f9d5 · 9a8f9d5
2 parents c0d0d5c + 7b4fb43
commit 9a8f9d5
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 40 deletions.
diff --git a/Documentation/technical/api-grep.txt b/Documentation/technical/api-grep.txt
diff --git a/Documentation/technical/api-object-access.txt b/Documentation/technical/api-object-access.txt
diff --git a/Documentation/technical/api-quote.txt b/Documentation/technical/api-quote.txt
diff --git a/Documentation/technical/api-xdiff-interface.txt b/Documentation/technical/api-xdiff-interface.txt