From dd87e78271ccdb7f28edd7c685cff14ba9729bdd Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Wed, 10 Apr 2024 09:09:31 +0200
Subject: [PATCH] Deploy website - based on
 088803a388cc83f6d228e776374aa37e10784ef9

---
 rust-workshop-etaps-2024/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rust-workshop-etaps-2024/index.html b/rust-workshop-etaps-2024/index.html
index d7323d1b7..c7542d051 100644
--- a/rust-workshop-etaps-2024/index.html
+++ b/rust-workshop-etaps-2024/index.html
@@ -25,7 +25,7 @@
 
 						> Formal Land
 
-						<small>[https://github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)</small>
+						<small>[github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)</small>
 					</script>
 				</section>
 				<section data-markdown>
@@ -44,7 +44,7 @@
 						## coq-of-rust
 
 						* Translation from Rust to the proof system Coq
-						* Open source [https://github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)
+						* Open source [github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)
 					</script>
 				</section>
 				<section data-markdown>