From 6d5fff90d6c9b7e7516f1f433b64d65bff9a2408 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@mi.fu-berlin.de> Date: Fri, 26 May 2017 22:19:19 +0200 Subject: [PATCH] [doc] Change file name extension. This is a markdown file --- README => README.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename README => README.md (100%) diff --git a/README b/README.md similarity index 100% rename from README rename to README.md -- GitLab