summaryrefslogtreecommitdiff
path: root/docs/tools
diff options
context:
space:
mode:
Diffstat (limited to 'docs/tools')
-rw-r--r--docs/tools/linter.md14
1 files changed, 0 insertions, 14 deletions
diff --git a/docs/tools/linter.md b/docs/tools/linter.md
index d3daabeab..15e6b7ba5 100644
--- a/docs/tools/linter.md
+++ b/docs/tools/linter.md
@@ -145,17 +145,3 @@ function bar(a: any) {
// ...
}
```
-
-To provide some compatibility with ESLint `deno lint` also supports
-`// eslint-disable-next-line` directive. Just like with `// deno-lint-ignore`,
-it's required to specify the ignored rule name:
-
-```ts
-// eslint-disable-next-line no-empty
-while (true) {}
-
-// deno-lint-ignore no-explicit-any
-function bar(a: any) {
- // ...
-}
-```