Set default version to REL1_0_STABLE with mike 1.1.2

2022-04-21 18:17:49 +00:00 · 2022-04-21 18:17:49 +00:00 · 25f3bc427d
parent 4935589c32
commit 25f3bc427d
1 changed files with 3 additions and 3 deletions
--- 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=main/" />
+    <meta http-equiv="refresh" content="1; url=REL1_0_STABLE/" />
  </noscript>
  <script>
-    window.location.replace("main/" + window.location.hash);
+    window.location.replace("REL1_0_STABLE/" + window.location.hash);
  </script>
 </head>
 <body>
-  Redirecting to <a href="main/">main/</a>...
+  Redirecting to <a href="REL1_0_STABLE/">REL1_0_STABLE/</a>...
 </body>
 </html>