xena-ja へのリンクを削除する

lean-ja · Oct 12, 2023 · 99f97ba · 99f97ba
1 parent 6d3cf46
commit 99f97ba
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,4 @@
 # Mathematics in type theory 非公式日本語訳
 
-注意⚠️： Mathematics in type theory の日本語訳のメンテは [xena-ja](https://github.com/lean-ja/xena-ja) に移管されました．issue や PR はこのリポジトリではなく，[xena-ja](https://github.com/lean-ja/xena-ja) にお願いします．
-
 * [原文](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/)
 * [対訳表](GLOSSARY.md)
diff --git a/src/README.md b/src/README.md
@@ -1,7 +1,5 @@
 # Mathematics in type thoery 日本語訳
 
-> 注意⚠️： Mathematics in type theory の日本語訳のメンテは [xena-ja](https://github.com/lean-ja/xena-ja) に移管されました．issue や PR はこのリポジトリではなく，[xena-ja](https://github.com/lean-ja/xena-ja) にお願いします．
-
 原文は Kevin Buzzard 氏によるブログ記事 [Mathematics in type theory.](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/) です．
 
 ## この翻訳について