diff options
author | isaacs <i@izs.me> | 2021-08-16 21:03:29 +0300 |
---|---|---|
committer | Gar <gar+gh@danger.computer> | 2021-08-17 19:01:47 +0300 |
commit | 22f3bbb2a0bf22280e0656852b9bb20795463ec5 (patch) | |
tree | ad20fa64322083f54179d844346648501d337b16 /.github | |
parent | 4314490f96b3af4ce0dcbd37802874e59e5601d1 (diff) |
chore(docs): add more 'autogenerated' comments
This should prevent the kind of thing we've seen where people edit the
generated docs, as in #3654 and #3630, and provide them with a helpful
pointer so they put the config documentation changes in the right place.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions