rust-toolchain.toml: Pin toolchain channel - Githubissues

RWTH-OS / eduOS-rs

A teaching operating system written in Rust

https://rwth-os.github.io/eduOS-rs/

Apache License 2.0

434 stars 27 forks source link

rust-toolchain.toml: Pin toolchain channel #16

Closed mkroening closed 3 years ago