From 87cc0159258a249cb61ce558d39ac661f6126ba1 Mon Sep 17 00:00:00 2001
From: Seasawher <Seasawher@users.noreply.github.com>
Date: Thu, 12 Oct 2023 11:56:13 +0000
Subject: [PATCH] deploy: 99f97bae6dcc8f960727dcfaff57d047366d263a

---
 index.html | 3 ---
 print.html | 3 ---
 2 files changed, 6 deletions(-)

diff --git a/index.html b/index.html
index 418e887..e7f93a1 100644
--- a/index.html
+++ b/index.html
@@ -170,9 +170,6 @@ <h1 class="menu-title">Mathematics in type theory 日本語訳</h1>
                 <div id="content" class="content">
                     <main>
                         <h1 id="mathematics-in-type-thoery-日本語訳"><a class="header" href="#mathematics-in-type-thoery-日本語訳">Mathematics in type thoery 日本語訳</a></h1>
-<blockquote>
-<p>注意⚠️： Mathematics in type theory の日本語訳のメンテは <a href="https://github.com/lean-ja/xena-ja">xena-ja</a> に移管されました．issue や PR はこのリポジトリではなく，<a href="https://github.com/lean-ja/xena-ja">xena-ja</a> にお願いします．</p>
-</blockquote>
 <p>原文は Kevin Buzzard 氏によるブログ記事 <a href="https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/">Mathematics in type theory.</a> です．</p>
 <h2 id="この翻訳について"><a class="header" href="#この翻訳について">この翻訳について</a></h2>
 <p>この翻訳は有志による<strong>非公式</strong>翻訳です．翻訳に際して，表現を大きく変えた箇所があります．
diff --git a/print.html b/print.html
index db54acb..8b88fb2 100644
--- a/print.html
+++ b/print.html
@@ -171,9 +171,6 @@ <h1 class="menu-title">Mathematics in type theory 日本語訳</h1>
                 <div id="content" class="content">
                     <main>
                         <h1 id="mathematics-in-type-thoery-日本語訳"><a class="header" href="#mathematics-in-type-thoery-日本語訳">Mathematics in type thoery 日本語訳</a></h1>
-<blockquote>
-<p>注意⚠️： Mathematics in type theory の日本語訳のメンテは <a href="https://github.com/lean-ja/xena-ja">xena-ja</a> に移管されました．issue や PR はこのリポジトリではなく，<a href="https://github.com/lean-ja/xena-ja">xena-ja</a> にお願いします．</p>
-</blockquote>
 <p>原文は Kevin Buzzard 氏によるブログ記事 <a href="https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/">Mathematics in type theory.</a> です．</p>
 <h2 id="この翻訳について"><a class="header" href="#この翻訳について">この翻訳について</a></h2>
 <p>この翻訳は有志による<strong>非公式</strong>翻訳です．翻訳に際して，表現を大きく変えた箇所があります．