Closed Xandaros closed 3 years ago
There are a lot of generated files in this repo, which need to be kept consistent.
My recent PR, which really just changes a single line (#9) has so many changes, GitHub hides them by default.
(Though some care needs to be taken if only some, but not all, generated files are removed, since https://github.com/tree-sitter/tree-sitter/pull/1196 is not released yet)
There are a lot of generated files in this repo, which need to be kept consistent.
My recent PR, which really just changes a single line (#9) has so many changes, GitHub hides them by default.
(Though some care needs to be taken if only some, but not all, generated files are removed, since https://github.com/tree-sitter/tree-sitter/pull/1196 is not released yet)