diff options
author | Bartek IwaĆczuk <biwanczuk@gmail.com> | 2020-11-03 16:19:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-03 16:19:29 +0100 |
commit | 8e914be7420715620cad74fbb020c5e87ac875a2 (patch) | |
tree | 2fefc0111f85533de2bd24e54f70c6c1241e3d3b /docs/tools | |
parent | e736d0f60f6cdf38e2d317ee08a7125de9e57d69 (diff) |
build: migrate to dlint (#8176)
This commit migrates repository from using "eslint"
to "dlint" for linting JavaScript code.
Diffstat (limited to 'docs/tools')
-rw-r--r-- | docs/tools/linter.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tools/linter.md b/docs/tools/linter.md index b5646d71d..d3daabeab 100644 --- a/docs/tools/linter.md +++ b/docs/tools/linter.md @@ -154,7 +154,7 @@ it's required to specify the ignored rule name: // eslint-disable-next-line no-empty while (true) {} -// eslint-disable-next-line @typescript-eslint/no-explicit-any +// deno-lint-ignore no-explicit-any function bar(a: any) { // ... } |