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.

Sign up for GitHub

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

Jump to bottom

Minor improvements to installation documentation #1608

Merged
merged 1 commit into from
Apr 2, 2020
Merged

Minor improvements to installation documentation #1608

merged 1 commit into from
Apr 2, 2020

Conversation

bouweandela
Copy link
Member

@bouweandela bouweandela commented Apr 2, 2020 •
edited
Loading

Small improvements to the installation from source procedure. Related to #1596.

Tasks

  • Create an issue to discuss what you are going to do, if you haven't done so already (and add the link at the bottom)
  • Give this pull request a descriptive title that can be used as a one line summary in a changelog
  • Circle/CI tests pass. Status can be seen below your pull request. If the tests are failing, click the link to find out why.
  • Preferably Codacy code quality checks pass, however a few remaining hard to solve Codacy issues are still acceptable. Status can be seen below your pull request. If there is an error, click the link to find out why. If you suspect Codacy may be wrong, please ask by commenting.

@bouweandela bouweandela merged commit 63bc1e6 into master Apr 2, 2020
@bouweandela bouweandela deleted the doc branch April 2, 2020 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mattiarighi mattiarighi mattiarighi approved these changes

Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bouweandela @mattiarighi