diff options
| author | Emanuele Torre <torreemanuele6@gmail.com> | 2023-07-09 20:53:24 +0200 |
|---|---|---|
| committer | Nico Williams <nico@cryptonector.com> | 2023-07-09 14:38:17 -0500 |
| commit | c08ecbaf239592018a2050b8515040d4a9f2e7aa (patch) | |
| tree | 76c466c98d6c1b6d0484f277319b62010c71fd1d | |
| parent | 600e602548216c6d0cfb3254202a690862901e4c (diff) | |
Mark src/{parser,lexer}.{c,h} as generated files in .gitattributes
This should hide edit to those files in PR diffs making PRs easier to
review.
| -rw-r--r-- | .gitattributes | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 366d3c2b..f3bab192 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,3 +1,7 @@ .gitattributes export-ignore .gitignore export-ignore * text=auto eol=lf + +# generated files +src/lexer.[ch] linguist-generated=true +src/parser.[ch] linguist-generated=true |