Set default version to nightly with mike 1.0.1

This commit is contained in:
github-actions[bot] 2021-06-24 04:13:57 +00:00
parent d50655f8f2
commit b7fa1a24a6

16
index.html Normal file
View File

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