From ba4ac2de0fa44bdeee7f261333b64e58293e395b Mon Sep 17 00:00:00 2001 From: Claudio Lopez <huendica@dhcp-183-22.ens-lyon.fr> Date: Fri, 20 Sep 2024 11:23:53 +0200 Subject: [PATCH] README: rename to README.md for md rendering --- 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