From 912717c70dd76179789318f96b65a1d23102e628 Mon Sep 17 00:00:00 2001 From: Philipp Hansch Date: Wed, 28 Nov 2018 07:51:40 +0100 Subject: [PATCH] Add redirect for last clippy release --- rust-clippy/v0.0.212/index.html | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 rust-clippy/v0.0.212/index.html diff --git a/rust-clippy/v0.0.212/index.html b/rust-clippy/v0.0.212/index.html new file mode 100644 index 0000000..d667192 --- /dev/null +++ b/rust-clippy/v0.0.212/index.html @@ -0,0 +1,5 @@ + + +Redirecting to https://rust-lang.github.io/rust-clippy/ + +