diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-11 09:12:21 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-12 08:22:44 +0200 |
| commit | 115e19300f73966554f176e2440fe79572a37c99 (patch) | |
| tree | 5006284fd06a57eb9692843052ba97eecefc9da8 /executor/executor_linux.h | |
| parent | c1147c8df73eb61bc9d66e6628e0369e21f28670 (diff) | |
tools/syz-linter: check comments format
Check for capitalization, dots at the end
and two spaces after a period.
Update #1876
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions