From 7a0f968657c8ae8c0e7b7ff1203ed4c99940835c Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Mon, 11 Mar 2024 02:20:45 -0500 Subject: [PATCH] fix: Link to references for forgejo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ca94be2..25d501e 100644 --- a/README.md +++ b/README.md @@ -2,4 +2,4 @@ These are the files used in my talk titled "A (very) Brief Introduction to lean 4". -[References](/references.md) +[References](./references.md)