From 6ce0931be2b7067d0aa30e8a2dd12128248f6ea4 Mon Sep 17 00:00:00 2001 From: Srayan Jana Date: Thu, 11 Sep 2025 10:38:59 -0700 Subject: [PATCH] Change git repo from fork to main --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e2b399c..5639bd1 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,7 @@ Simple real-time Doom-style raycasting engine in Lean4: curl https://elan.lean-lang.org/elan-init.sh -sSf | sh # Clone project and submodules (SDL3 etc) -git clone --recurse-submodules https://github.com/ValorZard/LeanDoomed.git +git clone --recurse-submodules https://github.com/oOo0oOo/LeanDoomed.git cd LeanDoomed # Build dependencies