Set default version to 0.2 with mike 1.1.2

2023-02-09 15:48:40 +01:00 · 2023-02-09 15:48:40 +01:00 · 2d3dd78ec6
commit 2d3dd78ec6
parent 5a36bc5fa5
1 changed files with 16 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=0.2/" />
+  </noscript>
+  <script>
+    window.location.replace("0.2/" + window.location.hash);
+  </script>
+</head>
+<body>
+  Redirecting to <a href="0.2/">0.2/</a>...
+</body>
+</html>