diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-05 09:47:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-05 10:55:16 +0200 |
| commit | 214e3e269cce39f25d2552d3ba994cced679d5e8 (patch) | |
| tree | e8f0ed5aa35e286f87869d4efde8f01fec6bacc4 /executor | |
| parent | 3940e7a64fa27c338ca1283b8f90143412b281ba (diff) | |
tools/syz-linter: check log/error text starting with capital letter
Update #1876
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions