From 6f9fbc498aa40d040ac1a051408dd951df5a427a Mon Sep 17 00:00:00 2001 From: Sergi Hernandez Juan <shernand@iri.upc.edu> Date: Sun, 22 Mar 2020 15:48:26 +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