From 0198ef2cdb6a3d57e217145c7db6fd9d090471fb Mon Sep 17 00:00:00 2001 From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> Date: Mon, 4 Apr 2022 08:20:56 +0200 Subject: [PATCH] remove rust-toolchain --- rust-toolchain.toml | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 rust-toolchain.toml diff --git a/rust-toolchain.toml b/rust-toolchain.toml deleted file mode 100644 index 59c4c01..0000000 --- a/rust-toolchain.toml +++ /dev/null @@ -1,3 +0,0 @@ -[toolchain] -channel = "nightly-2022-04-03" -components = ["miri"] \ No newline at end of file