From 0f23e3d71da7f8570d66b10b9442465faa419833 Mon Sep 17 00:00:00 2001 From: janthoXO Date: Sun, 29 Sep 2024 10:38:21 +0000 Subject: [PATCH] Update scorpio with release version 0.1.2 --- images/base-ide/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/images/base-ide/package.json b/images/base-ide/package.json index 3e166f95e..b356671b8 100644 --- a/images/base-ide/package.json +++ b/images/base-ide/package.json @@ -60,7 +60,7 @@ "theiaPluginsDir": "plugins", "theiaPlugins": { "eclipse-theia.builtin-extension-pack": "https://open-vsx.org/api/eclipse-theia/builtin-extension-pack/1.88.1/file/eclipse-theia.builtin-extension-pack-1.88.1.vsix", - "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/0.1.1/file/tum-aet.artemis-scorpio-0.1.1.vsix" + "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/0.1.2/file/tum-aet.artemis-scorpio-0.1.2.vsix" }, "theiaPluginsExcludeIds": [ "ms-vscode.js-debug-companion",