Skip to content
This repository has been archived by the owner on Oct 2, 2023. It is now read-only.

Add generated comment in generated file #1894

Merged
merged 1 commit into from
Dec 6, 2021
Merged

Add generated comment in generated file #1894

merged 1 commit into from
Dec 6, 2021

Conversation

alexeagle
Copy link
Collaborator

Avoids people sending PRs against generated content

Avoids people sending PRs against generated content
@alexeagle alexeagle merged commit f6ed806 into master Dec 6, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants