mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
merge: pull request #497 from HigherOrderCO/fix-rust-toolchain-file
fix: fix rust-toolchain file
This commit is contained in:
commit
ffdf7f12fa
@ -1 +0,0 @@
|
||||
nightly
|
2
rust-toolchain.toml
Normal file
2
rust-toolchain.toml
Normal file
@ -0,0 +1,2 @@
|
||||
[toolchain]
|
||||
channel = "nightly"
|
Loading…
Reference in New Issue
Block a user