Skip to content

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Jul 7, 2020

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • The PR follows our contributing guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce?

This PR updates the documentation regarding command line completion using homebrew and fixes some inaccuracies

  • What is the current behavior?
  • What is the new behavior?
  • Does this PR introduce a breaking change?

no

  • Other information:

See how to contribute

@umbynos umbynos merged commit 1fa4874 into master Jul 7, 2020
@umbynos umbynos deleted the update_docs branch July 7, 2020 12:08
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.

2 participants