New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Theia is maintained by Eclipse community #11

merged 1 commit into from Nov 2, 2018


None yet
2 participants

svenefftinge commented Oct 23, 2018

No description provided.

@svenefftinge svenefftinge force-pushed the svenefftinge:gh-pages branch from b317f31 to 5b6f532 Oct 23, 2018

@weinand weinand self-assigned this Oct 24, 2018

@weinand weinand added this to the October 2018 milestone Oct 24, 2018


This comment has been minimized.


weinand commented Nov 2, 2018

Thanks for PR.

@weinand weinand closed this Nov 2, 2018

@weinand weinand reopened this Nov 2, 2018

@weinand weinand merged commit bb3c46e into Microsoft:gh-pages Nov 2, 2018

1 check passed

license/cla All CLA requirements met.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment