diff options
| author | Paul Chaignon <paul.chaignon@orange.com> | 2019-10-14 17:24:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-11-29 11:27:09 +0100 |
| commit | d29b9e8409f757630e061c606b6a9a15c1a5d753 (patch) | |
| tree | fbdd2142441ab43b251fc06f23798d8cd83afe3c /.gitattributes | |
| parent | 4f7e1d0f5e1c44e2298738f690dde25c486cc65a (diff) | |
.gitattributes: hide generated files
Hide the generated files by default in pull requests.
Signed-off-by: Paul Chaignon <paul.chaignon@orange.com>
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 000000000..7d2fc4b2d --- /dev/null +++ b/.gitattributes @@ -0,0 +1,2 @@ +executor/defs.h linguist-generated +sys/*/gen/*.go linguist-generated |