diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-10 17:44:14 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-10 18:16:58 +0200 |
| commit | d4c58caef7e5fbae992399cb3b28681694468b39 (patch) | |
| tree | 07e6fb43abc9f0c186333fedff90360e62df6872 /executor | |
| parent | 56d01184e3b69688dec04bd97a3017df9462f4fc (diff) | |
tools/syz-linter: enable some standard linters
Enable some x/tools linters that are not enabled in vet.
Update #1876
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions