Skip to content
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

[docs] Update developer docs with new launch configurations #6241

Merged
merged 1 commit into from
Sep 22, 2019

Conversation

thegecko
Copy link
Member

Signed-off-by: Rob Moran rob.moran@arm.com

What it does

As mentioned in #6226, the developer docs needed updating to reflect the launch configuration changes.

How to test

View the markdown file.

Review checklist

Reminder for reviewers

Signed-off-by: Rob Moran <rob.moran@arm.com>
@thegecko thegecko requested a review from akosyakov September 21, 2019 17:23
@thegecko thegecko changed the title [docs] Update developer docs with new configs [docs] Update developer docs with new launch configurations Sep 21, 2019
@akosyakov akosyakov added the documentation issues related to documentation label Sep 22, 2019
Copy link
Member

@akosyakov akosyakov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thank you!

@thegecko thegecko merged commit 2220b7b into eclipse-theia:master Sep 22, 2019
@thegecko thegecko deleted the docs-update branch September 22, 2019 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation issues related to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants