From 31b47e298a48d7d68def2ba05089870403725d54 Mon Sep 17 00:00:00 2001
From: Max Ole Elliger <ole.elliger@fau.de>
Date: Thu, 11 Apr 2024 14:00:33 +0200
Subject: [PATCH] updated README for submodules

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 80321c6..e501019 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ Die Files bauen teilweise inhaltlich aufeinander auf, sodass es sinnvoll ist, di
 Dieses Projekt benötigt keine detailreiche Installationsanleitung, man kann es einfach auf [Gitlab](https://gitlab.cs.fau.de/oc59yqul/coq-exercises) klonen:
 
 ```
-git clone git@gitlab.cs.fau.de:oc59yqul/coq-exercises.git
+git clone git@gitlab.cs.fau.de:oc59yqul/coq-exercises.git --recurse-submodules
 ```
 
 ## Usage
-- 
GitLab