autogenerated

This commit is contained in:
fabriziopandini
2018-10-24 12:57:42 +02:00
parent a3d90cc824
commit 4505aa2108
6 changed files with 3 additions and 10 deletions

View File

@@ -1,3 +0,0 @@
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.