Replace PR with npm link for Theia package (#11)

eclipse-oct · Aug 29, 2024 · bdc218b · bdc218b
1 parent 038c844
commit bdc218b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hugo/content/_index.html b/hugo/content/_index.html
@@ -29,7 +29,7 @@ <h2>End-to-end encryption</h2>
         </div>
         <div class="content-card">
             <h2>IDE extensions</h2>
-            <p>Get the VS Code extension from <a href="https://open-vsx.org/extension/typefox/open-collaboration-tools">Open VSX</a> or the <a href="https://marketplace.visualstudio.com/items?itemName=typefox.open-collaboration-tools">VS Code Marketplace</a>. Eclipse Theia has a <a href="https://github.com/eclipse-theia/theia/pull/13309">built-in extension package</a> for the direct integration of Open Collaboration Tools.</p>
+            <p>Get the VS Code extension from <a href="https://open-vsx.org/extension/typefox/open-collaboration-tools">Open VSX</a> or the <a href="https://marketplace.visualstudio.com/items?itemName=typefox.open-collaboration-tools">VS Code Marketplace</a>. Eclipse Theia has a <a href="https://www.npmjs.com/package/@theia/collaboration">built-in extension package</a> for the direct integration of Open Collaboration Tools.</p>
         </div>
         <div class="content-card">
             <h2>Integrate in your web app</h2>