Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Error out on any changes to files in the repository after generation
This ensures that the generated files match exactly what `generate.py` would generate.
- Loading branch information