Set default version to stable with mike 2.0.0

This commit is contained in:
lordmathis
2025-09-23 20:36:55 +00:00
parent ea835dcd31
commit fc9ff0f30e

View File

@@ -4,15 +4,15 @@
<meta charset="utf-8"> <meta charset="utf-8">
<title>Redirecting</title> <title>Redirecting</title>
<noscript> <noscript>
<meta http-equiv="refresh" content="1; url=dev/" /> <meta http-equiv="refresh" content="1; url=stable/" />
</noscript> </noscript>
<script> <script>
window.location.replace( window.location.replace(
"dev/" + window.location.search + window.location.hash "stable/" + window.location.search + window.location.hash
); );
</script> </script>
</head> </head>
<body> <body>
Redirecting to <a href="dev/">dev/</a>... Redirecting to <a href="stable/">stable/</a>...
</body> </body>
</html> </html>