2022-07-05 02:29:28 +05:30
|
|
|
[toolchain]
|
2024-03-14 17:53:22 +05:30
|
|
|
channel = "nightly-2024-01-09"
|
2023-06-26 00:47:57 +05:30
|
|
|
components = ["clippy", "rustfmt", "rust-src"]
|
|
|
|
targets = ["x86_64-unknown-linux-gnu"]
|
2022-07-05 02:29:28 +05:30
|
|
|
profile = "minimal"
|