From e11f4ad69a856f824a265cec782fbc8804d5357a Mon Sep 17 00:00:00 2001
From: Sergi Hernandez Juan <shernand@iri.upc.edu>
Date: Sun, 22 Mar 2020 15:50:12 +0100
Subject: [PATCH] Renamed the README file.

---
 README.mk => README.md | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename README.mk => README.md (100%)

diff --git a/README.mk b/README.md
similarity index 100%
rename from README.mk
rename to README.md
-- 
GitLab