index.html - multiple-select - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/index.html

blob: a56cd7eb7d1da5a23adb4020e17cb4fb97012bf5 (plain)

<!DOCTYPE html>
<html>
<head>
    <title></title>
</head>
<body>
<script>
    location.replace('docs' + location.hash);
</script>
</body>
</html>