diff options
| author | Matthias Einwag <[email protected]> | 2020-09-23 16:39:04 +0100 |
|---|---|---|
| committer | Matthias Einwag <[email protected]> | 2020-09-23 16:39:04 +0100 |
| commit | 8eae893c767941bf02338cd74d7b103437783013 (patch) | |
| tree | 0e8acd22ec475645c718e8bd4d372b2d61628221 | |
| parent | c7f464774901d40483a6edc4f1294e1648dee4d5 (diff) | |
Fix lint
| -rw-r--r-- | editors/code/src/net.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/net.ts b/editors/code/src/net.ts index e746465d1..9ba17b7b5 100644 --- a/editors/code/src/net.ts +++ b/editors/code/src/net.ts | |||
| @@ -76,7 +76,7 @@ interface DownloadOpts { | |||
| 76 | dest: string; | 76 | dest: string; |
| 77 | mode?: number; | 77 | mode?: number; |
| 78 | gunzip?: boolean; | 78 | gunzip?: boolean; |
| 79 | overwrite?: boolean, | 79 | overwrite?: boolean; |
| 80 | } | 80 | } |
| 81 | 81 | ||
| 82 | export async function download(opts: DownloadOpts) { | 82 | export async function download(opts: DownloadOpts) { |