theia-log/theia

Add theia to pypi

Closed this issue · 1 comments

Configure theia for pypi and upload an initial version.