Fix lint

Matthias247 · Matthias247 · commit 8eae893c7679 · 2020-09-23T08:39:04.000-07:00
diff --git a/editors/code/src/net.ts b/editors/code/src/net.ts
@@ -76,7 +76,7 @@ interface DownloadOpts {
     dest: string;
     mode?: number;
     gunzip?: boolean;
-    overwrite?: boolean,
+    overwrite?: boolean;
 }
 
 export async function download(opts: DownloadOpts) {

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ interface DownloadOpts {`
`76`	`76`	`dest: string;`
`77`	`77`	`mode?: number;`
`78`	`78`	`gunzip?: boolean;`
`79`		`- overwrite?: boolean,`
	`79`	`+ overwrite?: boolean;`
`80`	`80`	`}`
`81`	`81`
`82`	`82`	`export async function download(opts: DownloadOpts) {`