Closed eric-sclafani closed 1 month ago
@eric-sclafani Thank you for the fix! To be able to merge it, we would need you to sign the ECA, even for this small change. Sorry for this overhead, it is a one time procedure and ensures our ip cleaness, please see: https://api.eclipse.org/git/eca/status/gh/eclipse-theia/theia/13726
Okay, I created an account and signed the Eclipse Contributor Agreement 3.1.0 on the website. Kindly let me know if there's more I need to do :)
Fixed broken link to Theia documentation as outlined in #13724
[the Theia documentation](http://www.theia-ide.org/doc)
->[the Theia documentation](http://www.theia-ide.org/docs)