summaryrefslogtreecommitdiff
path: root/docs/tools
diff options
context:
space:
mode:
authorBartek IwaƄczuk <biwanczuk@gmail.com>2020-11-03 16:19:29 +0100
committerGitHub <noreply@github.com>2020-11-03 16:19:29 +0100
commit8e914be7420715620cad74fbb020c5e87ac875a2 (patch)
tree2fefc0111f85533de2bd24e54f70c6c1241e3d3b /docs/tools
parente736d0f60f6cdf38e2d317ee08a7125de9e57d69 (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.md2
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) {
// ...
}