diff --git a/README.md b/README.md index 80321c636588d795ca2e6e3c51670bf5aa21d060..e50101962d69b934c8b447147ba2a9ea52c6c956 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