From ce18a0ee295bda3c2c9fe5b91eeb0b34b84cc9e3 Mon Sep 17 00:00:00 2001 From: Joe Previte Date: Fri, 14 Oct 2022 11:24:09 -0700 Subject: [PATCH] chore: refresh integration patch --- patches/integration.diff | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/patches/integration.diff b/patches/integration.diff index fd1fb03f0..8ef4d247c 100644 --- a/patches/integration.diff +++ b/patches/integration.diff @@ -221,15 +221,16 @@ Index: code-server/lib/vscode/src/vs/code/browser/workbench/workbench-dev.html -@@ -26,8 +27,9 @@ +@@ -26,9 +27,9 @@ - - -+ -+ -+ +- ++ ++ ++