Minor docs typo fixes (#8797)

* Fix minor typos

* Additional typos

* Style fix

Co-authored-by: guyrosin <guyrosin@assist-561.cs.technion.ac.il>
This commit is contained in:
Guy Rosin
2020-11-29 18:27:00 +02:00
committed by GitHub
parent 5ced23dc84
commit 3a08cc1ce7
5 changed files with 10 additions and 9 deletions

View File

@@ -125,7 +125,7 @@ Follow these steps to start contributing:
$ git checkout -b a-descriptive-name-for-my-changes
```
**do not** work on the `master` branch.
**Do not** work on the `master` branch.
4. Set up a development environment by running the following command in a virtual environment: