From 2f10dfb7678a0aeee285e0633a9eaea3f0861ebc Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Tue, 6 Aug 2024 02:27:20 +0900
Subject: [PATCH] =?UTF-8?q?lychee=20=E3=82=92=E9=BB=99=E3=82=89=E3=81=9B?=
 =?UTF-8?q?=E3=82=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .lycheeignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.lycheeignore b/.lycheeignore
index eccc96ec..c20a47f3 100644
--- a/.lycheeignore
+++ b/.lycheeignore
@@ -1,3 +1,4 @@
 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/