Set default version to 0.10.0 with mike 2.1.0

Kuadrant · Sep 18, 2024 · 2b21fca · 2b21fca
1 parent 235dd08
commit 2b21fca
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -4,15 +4,15 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=0.8.0/" />
+    <meta http-equiv="refresh" content="1; url=0.10.0/" />
   </noscript>
   <script>
     window.location.replace(
-      "0.8.0/" + window.location.search + window.location.hash
+      "0.10.0/" + window.location.search + window.location.hash
     );
   </script>
 </head>
 <body>
-  Redirecting to <a href="0.8.0/">0.8.0/</a>...
+  Redirecting to <a href="0.10.0/">0.10.0/</a>...
 </body>
 </html>