diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-14 13:37:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-18 11:34:42 +0200 |
| commit | 51c18193d369e20b8e7ebd4a1f4d710a568bf430 (patch) | |
| tree | 95bddc32f2eb931935857cc8e967cfa9f2b8f01f /tools/check_links.py | |
| parent | bb26bde008417cd4dd5b973a01804f2fd6c59adc (diff) | |
tools/check-copyright.sh: print errors in standard format
Use the standard "file:line:col: error message" format.
Update #1699
Diffstat (limited to 'tools/check_links.py')
0 files changed, 0 insertions, 0 deletions