search

eclipse-theia / theia-website

Theia's Website
https://theia-ide.org/
Other
33 stars 73 forks source link

Fix typo #573

Closed JonasHelming closed 4 months ago

JonasHelming commented 4 months ago

fixed #571

github-actions[bot] commented 4 months ago

PR Preview Action v1.4.7 :---: Preview removed because the pull request was closed. 2024-07-02 07:22 UTC