diff --git a/rust-toolchain b/rust-toolchain deleted file mode 100644 index 605c8f9..0000000 --- a/rust-toolchain +++ /dev/null @@ -1 +0,0 @@ -nightly-2020-02-03 diff --git a/rust-toolchain b/rust-toolchain new file mode 120000 index 0000000..c2036a8 --- /dev/null +++ b/rust-toolchain @@ -0,0 +1 @@ +third_party/libtock-rs/rust-toolchain \ No newline at end of file