Merge pull request #808 from lean-ja/Seasawher/issue805

lean searchをリンクチェック対象に戻す
lean-ja · Sep 16, 2024 · 43d8464 · 43d8464
2 parents 3ec9f8b + 33d061e
commit 43d8464
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.lycheeignore b/.lycheeignore
@@ -2,4 +2,3 @@ https://raw.githubusercontent.com/lean-ja/lean-by-example/.*
 https://adam.math.hhu.de/#/g/leanprover-community/NNG4
 https://live.lean-lang.org/
 https://reservoir.lean-lang.org/
-https://leansearch.net/