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

Add Theia among the Dev Tools #10

Merged
merged 1 commit into from Oct 23, 2018

Conversation

Projects
None yet
3 participants
@l0rd
Contributor

l0rd commented Oct 22, 2018

Theia support DAP since this PR
cc @tolusha @slemeur @tsmaeder

@egamma egamma assigned weinand and 0xabu and unassigned 0xabu Oct 23, 2018

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

@weinand weinand merged commit a079766 into Microsoft:gh-pages Oct 23, 2018

1 check passed

license/cla All CLA requirements met.
@weinand

This comment has been minimized.

Member

weinand commented Oct 23, 2018

Thanks for the PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment