From 8eae893c767941bf02338cd74d7b103437783013 Mon Sep 17 00:00:00 2001
From: Matthias Einwag <matthias.einwag@live.com>
Date: Wed, 23 Sep 2020 08:39:04 -0700
Subject: [PATCH] Fix lint

---
 editors/code/src/net.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/code/src/net.ts b/editors/code/src/net.ts
index e746465d1d..9ba17b7b5d 100644
--- 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) {