From 2b2642abcc9e0ffc0b33bac7a41848ab67b7f4b9 Mon Sep 17 00:00:00 2001
From: Calin Tataru <calintat@gmail.com>
Date: Fri, 14 Jun 2024 22:01:41 +0100
Subject: [PATCH] Fix broken link

---
 homotopy-web/src/app/info.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/homotopy-web/src/app/info.rs b/homotopy-web/src/app/info.rs
index cb0a800f9..3637e3aa7 100644
--- a/homotopy-web/src/app/info.rs
+++ b/homotopy-web/src/app/info.rs
@@ -129,7 +129,7 @@ pub fn get_about_message() -> Html {
                 {", "}
                 <a href="https://ncatlab.org/nlab/show/homotopy.io">{"nLab page"}</a>
                 {", and "}
-                <a href="httsp://github.com/homotopy-io/homotopy-rs">{"GitHub repository"}</a>
+                <a href="https://github.com/homotopy-io/homotopy-rs">{"GitHub repository"}</a>
                 {"."}
             </p>
             <h3>{"License"}</h3>