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/rt/11_workers.js | |
| 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/rt/11_workers.js')
| -rw-r--r-- | cli/rt/11_workers.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cli/rt/11_workers.js b/cli/rt/11_workers.js index dcf98aee6..36a2fd61b 100644 --- a/cli/rt/11_workers.js +++ b/cli/rt/11_workers.js @@ -1,5 +1,4 @@ // Copyright 2018-2020 the Deno authors. All rights reserved. MIT license. -/* eslint-disable @typescript-eslint/no-explicit-any */ ((window) => { const core = window.Deno.core; |