From 77ddac28fec3677d4c60b94692c2fa2c60674153 Mon Sep 17 00:00:00 2001 From: Joe Previte Date: Wed, 9 Dec 2020 16:46:09 -0700 Subject: [PATCH] chore: fix lint issue in patch --- ci/dev/vscode.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/dev/vscode.patch b/ci/dev/vscode.patch index 834e09d3..8102b742 100644 --- a/ci/dev/vscode.patch +++ b/ci/dev/vscode.patch @@ -3321,7 +3321,7 @@ index 0000000000000000000000000000000000000000..57213f92828fafefcab0e3c401a1e8ed +} diff --git a/src/vs/server/node/server.ts b/src/vs/server/node/server.ts new file mode 100644 -index 0000000000000000000000000000000000000000..04e56c907774a96453fded9254c70f7844917d76 +index 0000000000000000000000000000000000000000..0f4d31a961be1c055163b0cf29d550d7af5146e6 --- /dev/null +++ b/src/vs/server/node/server.ts @@ -0,0 +1,308 @@ @@ -3435,7 +3435,7 @@ index 0000000000000000000000000000000000000000..04e56c907774a96453fded9254c70f78 + ], + }, + homeIndicator: { -+ href: options.args.home || "https://github.com/cdr/code-server", ++ href: options.args.home || 'https://github.com/cdr/code-server', + icon: 'code', + title: localize('home', "Home"), + },