From 39977ade0b73322eae62fcd4845a262c2d578fb5 Mon Sep 17 00:00:00 2001
From: Sergi Hernandez Juan <shernand@iri.upc.edu>
Date: Wed, 13 Jun 2018 17:56:36 +0200
Subject: [PATCH] Changed the extension of 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