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