autogenerated

This commit is contained in:
fabriziopandini
2018-08-22 23:09:28 +02:00
parent 202e67c4a7
commit aa641ad5e3
4 changed files with 10 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.