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