From 6eb18f24db5081eb3f8f9d6b16d75452df1ac9f7 Mon Sep 17 00:00:00 2001 From: janthoXO Date: Mon, 9 Dec 2024 17:01:30 +0000 Subject: [PATCH] Update scorpio with release version 1.0.1 --- 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 0511201ef..e2db0abbe 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/1.0.0/file/tum-aet.artemis-scorpio-1.0.0.vsix" + "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/1.0.1/file/tum-aet.artemis-scorpio-1.0.1.vsix" }, "theiaPluginsExcludeIds": [ "ms-vscode.js-debug-companion",