mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #592 from RalfJung/readme

Browse Source 
README: fix install command
This commit is contained in:
Oliver Scherer 2018-12-28 19:03:43 +01:00 committed by GitHub
commit 7236644650
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -26,7 +26,7 @@ for example:
Install Miri as a cargo subcommand:
```sh
cargo +nightly install --git https://github.com/solson/miri/ miri
cargo +nightly install --force --git https://github.com/solson/miri miri
```
If this does not work, try using the nightly version given in