generated-doc-placeholders

This commit is contained in:
fabriziopandini
2017-10-27 10:03:51 +02:00
parent 65070227f5
commit 6c77e7fab6
119 changed files with 472 additions and 0 deletions

View File

@@ -0,0 +1,3 @@
This file is autogenerated, but we've stopped checking such files into the
repository to reduce the need for rebases. Please run hack/generate-docs.sh to
populate this file.