Set default version to REL_1_STABLE with mike 1.1.2

gh-pages
GitHub Action 2022-06-01 08:55:48 +00:00
parent 1cdded817f
commit b47abad194
1 changed files with 3 additions and 3 deletions

View File

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