🆙 web playground
This commit is contained in:
parent
7c20c3f8b9
commit
a46ba1f84c
1 changed files with 1 additions and 1 deletions
|
@ -28,7 +28,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.8';
|
||||
const WEB_PLAYGROUND_VERSION = '0.0.9';
|
||||
|
||||
const args = minimist(process.argv, {
|
||||
boolean: [
|
||||
|
|
Loading…
Reference in a new issue