Set default version to latest with mike 2.1.3 (#2894)

8 months ago · 82613822fb
parent 4dfc05faef
commit 82613822fb
1 changed files with 3 additions and 3 deletions
--- 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=dev/" />
+    <meta http-equiv="refresh" content="1; url=latest/" />
  </noscript>
  <script>
    window.location.replace(
-      "dev/" + window.location.search + window.location.hash
+      "latest/" + window.location.search + window.location.hash
    );
  </script>
 </head>
 <body>
-  Redirecting to <a href="dev/">dev/</a>...
+  Redirecting to <a href="latest/">latest/</a>...
 </body>
 </html>