Set default version to stable with mike 1.1.2

This commit is contained in:
Clement Tsang 2023-01-05 21:17:10 -05:00
parent 519c38aa5d
commit 45a922e3f4
No known key found for this signature in database
GPG Key ID: B17834EA2182446B

View File

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