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

Getting started: use new documentation URLs #7855

Merged
merged 1 commit into from May 20, 2020
Merged

Getting started: use new documentation URLs #7855

merged 1 commit into from May 20, 2020

Conversation

RDIL
Copy link
Contributor

@RDIL RDIL commented May 20, 2020

Signed-off-by: Reece Dunham me@rdil.rocks

What it does

The links that were there just redirected so why not use the actual (and more pretty) versions of the links.

How to test

The contribution looks the same.

Review checklist

Reminder for reviewers

Signed-off-by: Reece Dunham <me@rdil.rocks>
@vince-fugnitto vince-fugnitto added the getting-started issues related to the getting-started extension label May 20, 2020
Copy link
Member

@vince-fugnitto vince-fugnitto 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 for taking care of updating the links.

@vince-fugnitto vince-fugnitto merged commit f97ec33 into eclipse-theia:master May 20, 2020
@RDIL RDIL deleted the changes branch May 20, 2020 17:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
getting-started issues related to the getting-started extension
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants