From f82d97a7773f3d5ded6e85d249de17788ef15df8 Mon Sep 17 00:00:00 2001 From: Elie ROUDNINSKI Date: Mon, 16 Dec 2024 11:09:27 +0100 Subject: [PATCH] Delete obsolete `rust-toolchain` file --- rust-toolchain | 1 - 1 file changed, 1 deletion(-) delete mode 100644 rust-toolchain diff --git a/rust-toolchain b/rust-toolchain deleted file mode 100644 index 2bf5ad04..00000000 --- a/rust-toolchain +++ /dev/null @@ -1 +0,0 @@ -stable