Skip to content

Commit

Permalink
lychee を黙らせる
Browse files Browse the repository at this point in the history
  • Loading branch information
@Seasawher
Seasawher committed Aug 5, 2024
1 parent 0ff5da9 commit 2f10dfb
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .lycheeignore
View file
Original file line number Diff line number Diff line change
@@ -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/

0 comments on commit 2f10dfb

Please sign in to comment.