From e4ec94929cff1a4840d0a2fabb072c58458423e3 Mon Sep 17 00:00:00 2001 From: janthoXO Date: Sat, 16 Nov 2024 16:36:01 +0000 Subject: [PATCH] Update scorpio with release version 0.2.5 --- 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 1bbef353a..95089cee5 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.2.4/file/tum-aet.artemis-scorpio-0.2.4.vsix" + "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/0.2.5/file/tum-aet.artemis-scorpio-0.2.5.vsix" }, "theiaPluginsExcludeIds": [ "ms-vscode.js-debug-companion",