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.ns.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.ns.d.ts')
-rw-r--r-- | cli/dts/lib.deno.ns.d.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cli/dts/lib.deno.ns.d.ts b/cli/dts/lib.deno.ns.d.ts index 896b5c800..d8bc8d0fd 100644 --- a/cli/dts/lib.deno.ns.d.ts +++ b/cli/dts/lib.deno.ns.d.ts @@ -40,7 +40,7 @@ declare interface Performance { declare interface PerformanceMarkOptions { /** Metadata to be included in the mark. */ - // eslint-disable-next-line @typescript-eslint/no-explicit-any + // deno-lint-ignore no-explicit-any detail?: any; /** Timestamp to be used as the mark time. */ @@ -49,7 +49,7 @@ declare interface PerformanceMarkOptions { declare interface PerformanceMeasureOptions { /** Metadata to be included in the measure. */ - // eslint-disable-next-line @typescript-eslint/no-explicit-any + // deno-lint-ignore no-explicit-any detail?: any; /** Timestamp to be used as the start time or string to be used as start @@ -1847,7 +1847,7 @@ declare namespace Deno { export function metrics(): Metrics; interface ResourceMap { - // eslint-disable-next-line @typescript-eslint/no-explicit-any + // deno-lint-ignore no-explicit-any [rid: number]: any; } |