Merge pull request #20 from ls1intum/update-scorpio-release-version-1…

….0.2 Update scorpio with release version 1.0.2
ls1intum · Jan 16, 2025 · 4215ddb · 4215ddb
2 parents 0768809 + 35bff7f
commit 4215ddb
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/1.0.1/file/tum-aet.artemis-scorpio-1.0.1.vsix"
+        "scorpio": "https://open-vsx.org/api/tum-aet/artemis-scorpio/1.0.2/file/tum-aet.artemis-scorpio-1.0.2.vsix"
     },
     "theiaPluginsExcludeIds": [
         "ms-vscode.js-debug-companion",