Skip to content

CHE-10798 Add theia-dashboard-extension into Theia Docker image#10942

Merged
olexii4 merged 1 commit intomasterfrom
CHE-10798
Aug 28, 2018
Merged

CHE-10798 Add theia-dashboard-extension into Theia Docker image#10942
olexii4 merged 1 commit intomasterfrom
CHE-10798

Conversation

@olexii4
Copy link
Copy Markdown
Contributor

@olexii4 olexii4 commented Aug 27, 2018

Signed-off-by: Oleksii Orel oorel@redhat.com

What does this PR do?

Add theia-dashboard-extension into Theia Docker image

What issues does this PR fix or reference?

#10798

Signed-off-by: Oleksii Orel <oorel@redhat.com>
@olexii4 olexii4 requested review from benoitf and evidolob August 27, 2018 23:59
@olexii4 olexii4 requested a review from riuvshin as a code owner August 27, 2018 23:59
@olexii4 olexii4 merged commit fe7d1e9 into master Aug 28, 2018
@olexii4 olexii4 deleted the CHE-10798 branch August 28, 2018 09:37
@benoitf benoitf added this to the 6.11.0 milestone Aug 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants