From 204a622fc3c026fa8614c22bb7dbb06115803974 Mon Sep 17 00:00:00 2001 From: chrysn Date: Thu, 24 Feb 2022 16:53:02 +0100 Subject: [PATCH] doc/rust: Remove duplicate (and wrong) line The duplication happened already in the initial version, and when [17504] had the `--locked` added, the opportunity to remove the duplication was missed. [17504]: https://github.com/RIOT-OS/RIOT/pull/17504 --- doc/doxygen/src/using-rust.md | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/doxygen/src/using-rust.md b/doc/doxygen/src/using-rust.md index 00559f44d2..388eff2051 100644 --- a/doc/doxygen/src/using-rust.md +++ b/doc/doxygen/src/using-rust.md @@ -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