Set default version to latest with mike 2.0.0

This commit is contained in:
github-actions[bot] 2024-09-04 15:25:28 +00:00
parent 02a9ffe3b0
commit b92fe64072

View File

@ -7,10 +7,12 @@
<meta http-equiv="refresh" content="1; url=latest/" />
</noscript>
<script>
window.location.replace("latest/" + window.location.hash);
window.location.replace(
"latest/" + window.location.search + window.location.hash
);
</script>
</head>
<body>
Redirecting to <a href="latest/">latest/</a>...
</body>
</html>
</html>