diff options
| author | Geert-Jan Zwiers <geertjanzwiers@protonmail.com> | 2022-06-18 18:11:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-18 18:11:15 +0200 |
| commit | fa7cad06de648a7e35995b9a366ae2cee3b3bc4f (patch) | |
| tree | 1a6db2ebda68eaa19c85ead654a39bc5c476751d /tools/lint.js | |
| parent | 96821057dc0e81537c4fb2a93b092ebbef4ac92c (diff) | |
fix(docs): update description of `--check` flag (#14890)
Diffstat (limited to 'tools/lint.js')
0 files changed, 0 insertions, 0 deletions