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 /cli/dts/lib.deno.shared_globals.d.ts | |
parent | e736d0f60f6cdf38e2d317ee08a7125de9e57d69 (diff) |
build: migrate to dlint (#8176)
This commit migrates repository from using "eslint"
to "dlint" for linting JavaScript code.
Diffstat (limited to 'cli/dts/lib.deno.shared_globals.d.ts')
-rw-r--r-- | cli/dts/lib.deno.shared_globals.d.ts | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cli/dts/lib.deno.shared_globals.d.ts b/cli/dts/lib.deno.shared_globals.d.ts index 03b85f50d..6eb9019ad 100644 --- a/cli/dts/lib.deno.shared_globals.d.ts +++ b/cli/dts/lib.deno.shared_globals.d.ts @@ -3,8 +3,6 @@ // Documentation partially adapted from [MDN](https://developer.mozilla.org/), // by Mozilla Contributors, which is licensed under CC-BY-SA 2.5. -/* eslint-disable @typescript-eslint/no-unused-vars, @typescript-eslint/no-explicit-any, no-var */ - /// <reference no-default-lib="true" /> /// <reference lib="esnext" /> /// <reference lib="deno.web" /> |