diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 15:39:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 16:25:52 +0000 |
| commit | f9c0cd6946b545524891cbe6eaafb3bd773b9b0a (patch) | |
| tree | 239b2e7de862a584fb45307956966f0742bdf123 /vm | |
| parent | 8f815ccc244597135fc5b9f74aeb0e5d96ce8eb5 (diff) | |
tools: add HTML checking script
Check that HTML files are not inconsistently formatted
with both tabs and spaces.
Diffstat (limited to 'vm')
0 files changed, 0 insertions, 0 deletions