1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #17700 from chrysn-pull-requests/doc-c2rust-double-line

doc/rust: Remove duplicate (and wrong) line
This commit is contained in:
Kaspar Schleiser 2022-02-24 17:52:06 +01:00 committed by GitHub
commit fa450ee675
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -122,7 +122,6 @@ and needs some patches applied:
```shell
$ rustup install nightly-2019-12-05
$ rustup component add --toolchain nightly-2019-12-05 rustfmt rustc-dev
$ cargo +nightly-2019-12-05 install c2rust
$ git clone https://github.com/chrysn-pull-requests/c2rust -b for-riot
$ cd c2rust
$ cargo +nightly-2019-12-05 install --locked --path c2rust