autogenerated

This commit is contained in:
fabriziopandini
2018-10-18 11:52:15 +02:00
parent abac950cd7
commit 22da6a66a2
6 changed files with 12 additions and 2 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.