Set default version to dev with mike 2.1.3

This commit is contained in:
lordmathis
2025-10-27 18:28:20 +00:00
parent 5f8c8a6bf8
commit 329745d969

View File

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