Set default version to dev with mike 2.1.3

2026-02-13 14:01:04 -07:00 · 2026-02-13 14:01:04 -07:00 · 883a386e82
commit 883a386e82
parent 68179c4fe6
1 changed files with 18 additions and 0 deletions
--- a/index.html
+++ 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=dev/" />
+  </noscript>
+  <script>
+    window.location.replace(
+      "dev/" + window.location.search + window.location.hash
+    );
+  </script>
+</head>
+<body>
+  Redirecting to <a href="dev/">dev/</a>...
+</body>
+</html>