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 /.gitattributes | |
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.
Diffstat (limited to '.gitattributes')
-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 |