diff --git a/index.html b/index.html new file mode 100644 index 0000000000000000000000000000000000000000..744b48f9fdb0da9e2db050c6ac6b641ea7af965e --- /dev/null +++ b/index.html @@ -0,0 +1,18 @@ +<!DOCTYPE html> +<html> +<head> + <meta charset="utf-8"> + <title>Redirecting</title> + <noscript> + <meta http-equiv="refresh" content="1; url=0.12/" /> + </noscript> + <script> + window.location.replace( + "0.12/" + window.location.search + window.location.hash + ); + </script> +</head> +<body> + Redirecting to <a href="0.12/">0.12/</a>... +</body> +</html>