From 83641012da3c54df97871f4bf048e7080096f886 Mon Sep 17 00:00:00 2001
From: Alessia Bardi <alessia.bardi@isti.cnr.it>
Date: Mon, 28 Jun 2021 17:49:59 +0200
Subject: [PATCH] No, it does not work without the md extension

---
 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