Skip to content

Rename from theia.cloud to theia-cloud.io where applicable#4

Open
xai wants to merge 2 commits intomainfrom fix-naming

Commits

Commits on Nov 22, 2022