2023-08-26 04:51:48 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<meta charset="utf-8">
|
|
|
|
<title>Redirecting</title>
|
|
|
|
<noscript>
|
2023-09-06 18:24:24 +00:00
|
|
|
<meta http-equiv="refresh" content="1; url=../v0.9.0/" />
|
2023-08-26 04:51:48 +00:00
|
|
|
</noscript>
|
|
|
|
<script>
|
2023-09-06 18:24:24 +00:00
|
|
|
window.location.replace("../v0.9.0/" + window.location.hash);
|
2023-08-26 04:51:48 +00:00
|
|
|
</script>
|
|
|
|
</head>
|
|
|
|
<body>
|
2023-09-06 18:24:24 +00:00
|
|
|
Redirecting to <a href="../v0.9.0/">../v0.9.0/</a>...
|
2023-08-26 04:51:48 +00:00
|
|
|
</body>
|
|
|
|
</html>
|