404 ページにもリダイレクトを設定

lean-ja · Jun 18, 2024 · f543909 · f543909
1 parent 57f3824
commit f543909
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/404.html b/404.html
@@ -2,8 +2,8 @@
 <html>
 <head>
     <meta charset="utf8">
-    <!-- <meta http-equiv="refresh" content="0; url=https://lean-ja.github.io/lean-by-example/">
-    <link rel="canonical" href="https://lean-ja.github.io/lean-by-example/"> -->
+    <meta http-equiv="refresh" content="0; url=https://lean-ja.github.io/lean-by-example/">
+    <link rel="canonical" href="https://lean-ja.github.io/lean-by-example/">
     <title>このページは移動されました</title>
 </head>
 <body>