Set default version to dev with mike 1.1.2

githedgehog · Oct 30, 2023 · 3749535 · 3749535 · github-actions · Oct 30, 2023
1 parent 8413d50
commit 3749535
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -4,13 +4,13 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=latest/" />
+    <meta http-equiv="refresh" content="1; url=dev/" />
   </noscript>
   <script>
-    window.location.replace("latest/" + window.location.hash);
+    window.location.replace("dev/" + window.location.hash);
   </script>
 </head>
 <body>
-  Redirecting to <a href="latest/">latest/</a>...
+  Redirecting to <a href="dev/">dev/</a>...
 </body>
 </html>