From 36e0ed66701aff1a3ac5b1704872154221c764d1 Mon Sep 17 00:00:00 2001
From: Alejandro Lopez Gestoso <alopez@iri.upc.edu>
Date: Tue, 9 Jul 2019 12:29:59 +0200
Subject: [PATCH] Update ReadMe.md

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

diff --git a/ReadMe.md b/ReadMe.md
index 931b56d..590b6e2 100644
--- a/ReadMe.md
+++ b/ReadMe.md
@@ -96,7 +96,7 @@ This package also requires of the following IRI libraries:
 
 ## Compilation and installation from source
 
-Download this repository and create a build folder inside:
+Clone this repository and create a build folder inside:
 
 ``` mkdir build ```
 
-- 
GitLab