autogenerated

This commit is contained in:
fabriziopandini
2018-10-31 22:19:01 +01:00
parent 0c31c79e7b
commit b56e122e66
44 changed files with 73 additions and 79 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.

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.