diff --git a/theia-extensions/product/src/browser/branding-util.tsx b/theia-extensions/product/src/browser/branding-util.tsx index 2c1484a75..e13586ba7 100644 --- a/theia-extensions/product/src/browser/branding-util.tsx +++ b/theia-extensions/product/src/browser/branding-util.tsx @@ -130,8 +130,8 @@ export function renderCollaboration(windowService: WindowService): React.ReactNo
The IDE features a built-in collaboration feature. You can share your workspace with others and work together in real-time by clicking on the Collaborate item in the status bar. - The collaboration feature is powered by the - project + The collaboration feature is powered by + the project and uses their public server infrastructure.
;