diff options
| author | Geert-Jan Zwiers <geertjanzwiers@protonmail.com> | 2022-06-28 21:47:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-28 21:47:51 +0200 |
| commit | 5b7bcefa111b1e4fc1e02bb7fb1c8f152e5fd6aa (patch) | |
| tree | a7b98ef846d8b89832e564a497216511574534a4 /cli/tools/lint.rs | |
| parent | 0f6a5c5fc24e8dc9125c5c536c8547a86ca87b15 (diff) | |
fix(task): remove --no-config as task subcommand argument (#14983)
Diffstat (limited to 'cli/tools/lint.rs')
0 files changed, 0 insertions, 0 deletions