Merge branch 'patch-1' into 'master'

Fixing script to clone homework 5

See merge request lamp/cs-210-functional-programming-2019!12

week5/00-homework5.md

@@ -19,7 +19,7 @@ You can use the following commands to make a fresh clone of your repository:
 
 ```shell
 git clone -b forcomp git@gitlab.epfl.ch:lamp/student-repositories-f19/cs210-GASPAR.git cs210-forcomp
-cd cs210-patmat
+cd cs210-forcomp
 ```
 
 You can always refer to: