Change domain name

hidet-org · Jan 5, 2024 · d3195c5 · d3195c5
1 parent 4de7be6
commit d3195c5
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <meta http-equiv="refresh" content="0;url=https://www.hidet.org/docs">
+    <title>Redirecting...</title>
+</head>
+<body>
+<p>If you are not redirected, <a href="https://www.hidet.org/docs">click here</a>.</p>
+</body>
+</html>
diff --git a/stable b/stable
@@ -0,0 +1 @@
+docs/stable