Set default version to main with mike 1.1.2

gh-pages
GitHub Action 2022-02-03 14:08:35 +00:00
parent a5ad5ed163
commit 639191bc18
1 changed files with 3 additions and 3 deletions

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=master/" /> <meta http-equiv="refresh" content="1; url=main/" />
</noscript> </noscript>
<script> <script>
window.location.replace("master/" + window.location.hash); window.location.replace("main/" + window.location.hash);
</script> </script>
</head> </head>
<body> <body>
Redirecting to <a href="master/">master/</a>... Redirecting to <a href="main/">main/</a>...
</body> </body>
</html> </html>