Merge branch 'docs'

This commit is contained in:
Ștefan Talpalaru 2019-03-12 19:24:15 +01:00
commit b8cd50e556
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 4 additions and 2 deletions

View File

@ -177,7 +177,8 @@ Checking out older commits, either to bisect something or to reproduce an older
```bash
git checkout <commit hash here>
make -j8 clean update
make clean
make -j8 update
```
Running a dependency's test suite using `nim` instead of `nimble` (which cannot be
@ -200,7 +201,8 @@ Sometimes, the build will fail even though the latest CI is green - here are a f
* Turn it off and on again:
```bash
make clean update
make clean
make update
```
#### Using Nimble directly