From 621c5a45631e2f1f77a6a2bd27ab418592346866 Mon Sep 17 00:00:00 2001
From: Lorenz Leutgeb <lorenz@leutgeb.xyz>
Date: Tue, 6 Aug 2024 16:49:46 +0200
Subject: [PATCH] rust: Migrate to `rust-toolchain.toml`

See
 - https://rust-lang.github.io/rustup/overrides.html#the-toolchain-file
---
 rust-toolchain      | 1 -
 rust-toolchain.toml | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)
 delete mode 100644 rust-toolchain
 create mode 100644 rust-toolchain.toml

diff --git a/rust-toolchain b/rust-toolchain
deleted file mode 100644
index d456f745..00000000
--- a/rust-toolchain
+++ /dev/null
@@ -1 +0,0 @@
-1.80
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
new file mode 100644
index 00000000..96b30271
--- /dev/null
+++ b/rust-toolchain.toml
@@ -0,0 +1,4 @@
+[toolchain]
+channel = "1.80"
+profile = "default"
+components = [ "rust-src" ]