From 5e49fc945f4dc8a91ff02cd47dd0545d2d375382 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Moreno?= Date: Mon, 12 Apr 2021 16:14:42 +0200 Subject: [PATCH] fix web dev builtin extensions --- src/vs/code/browser/workbench/workbench-web-dev.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/vs/code/browser/workbench/workbench-web-dev.html b/src/vs/code/browser/workbench/workbench-web-dev.html index 870804cf455..738734778b6 100644 --- a/src/vs/code/browser/workbench/workbench-web-dev.html +++ b/src/vs/code/browser/workbench/workbench-web-dev.html @@ -18,6 +18,9 @@ + + +