chore: set default page to main

Signed-off-by: mitsudome-r <[email protected]>
autowarefoundation · Feb 9, 2024 · 3978954 · 3978954
1 parent b1711d3
commit 3978954
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=main/" />
+  </noscript>
+  <script>
+    window.location.replace("main/" + window.location.hash);
+  </script>
+</head>
+<body>
+  Redirecting to <a href="main/">main/</a>...
+</body>
+</html>