diff options
| author | fanquake <fanquake@gmail.com> | 2021-10-07 14:11:30 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2021-10-16 09:14:36 +0800 |
| commit | b93e2299dab52b513a12b90ddff577055dae10d5 (patch) | |
| tree | 2bef67c875283ac41eded6ffad8db0e4085849b6 /ci/lint | |
| parent | feedb9c84e72e4fff489810a2bbeec09bcda5763 (diff) | |
doc: remove pointlessly duplicated linter version / install info
Diffstat (limited to 'ci/lint')
0 files changed, 0 insertions, 0 deletions