diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-02-18 16:02:42 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-02-18 16:05:10 +0100 |
| commit | 135c18aadb0147f93d3e2658e42fc7a479b9ad04 (patch) | |
| tree | 74ba2b3a708ebe1f06a79adb73e4b44785ba4d95 /pkg/csource/generated.go | |
| parent | 012fbc3229ebef871a201ea431b16610e6e0d345 (diff) | |
tools: add script that checks copyright headers
Fixes #1604
Diffstat (limited to 'pkg/csource/generated.go')
| -rw-r--r-- | pkg/csource/generated.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index 13eb885b9..2441984cd 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -1,4 +1,4 @@ -// AUTOGENERATED FROM executor/common.h +// AUTOGENERATED FILE FROM executor/*.h package csource |