From a4688615f4dcfbcff96aa32eb0ae7ebe68db0eb4 Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Fri, 28 Aug 2020 10:27:57 +0200 Subject: [PATCH] :up: web-playground version --- resources/web/code-web.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/web/code-web.js b/resources/web/code-web.js index 74dd39e8cb8..ee7e53e87db 100644 --- a/resources/web/code-web.js +++ b/resources/web/code-web.js @@ -27,7 +27,7 @@ const BUILTIN_MARKETPLACE_EXTENSIONS_ROOT = path.join(APP_ROOT, '.build', 'built const WEB_DEV_EXTENSIONS_ROOT = path.join(APP_ROOT, '.build', 'builtInWebDevExtensions'); const WEB_MAIN = path.join(APP_ROOT, 'src', 'vs', 'code', 'browser', 'workbench', 'workbench-dev.html'); -const WEB_PLAYGROUND_VERSION = '0.0.2'; +const WEB_PLAYGROUND_VERSION = '0.0.3'; const args = minimist(process.argv, { boolean: [