Add solarspace VSCode extension for URL sharing

RaoulSchaffranek · RaoulSchaffranek · commit ff5a57fe4078 · 2025-03-31T18:26:27.000+02:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -34,6 +34,7 @@
         "telemetry.telemetryLevel": "off"
       },
       "extensions": [
+        "solarspace.solarspace",
         "juanblanco.solidity",
         "trailofbits.weaudit",
         "runtimeverification.simbolik"
