generated files

This commit is contained in:
fabriziopandini
2017-11-21 09:53:01 +01:00
parent 5a569b9486
commit 29d9a39e9f
5 changed files with 16 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.