Select Git revision
Martin Weise authored
index.html 324 B
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=1.3/" />
</noscript>
<script>
window.location.replace("1.3/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="1.3/">1.3/</a>...
</body>
</html>