mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-05 20:07:27 +03:00
Fix kind install
This commit is contained in:
parent
2db12fb88c
commit
4d062a842e
@ -55,7 +55,7 @@ Usage
|
||||
First, install [Rust](https://www.rust-lang.org/tools/install) first, then enter:
|
||||
|
||||
```
|
||||
cargo install kind2
|
||||
cargo +nightly install kind2
|
||||
```
|
||||
|
||||
### Warning:
|
||||
|
Loading…
Reference in New Issue
Block a user