Merge pull request #12 from ls1intum/update-scorpio-release-version-0…

….2.5 Update scorpio with release version 0.2.5
ls1intum · Nov 16, 2024 · 5199ed6 · 5199ed6
2 parents 4b3dc1a + e4ec949
commit 5199ed6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",