Merge branch 'master' of github.com:ls1intum/artemis-theia-blueprints

ls1intum · Oct 15, 2024 · 73f8df3 · 73f8df3
2 parents b237b46 + 75105e9
commit 73f8df3
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.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",