From dd1fd8e5ca2ca9b653490e8defdb7488af2f947a Mon Sep 17 00:00:00 2001 From: Miguel de Dios Matias Date: Wed, 26 Jun 2019 13:49:18 +0200 Subject: [PATCH] Rename some files README.txt to README.md . --- docs/{README.txt => README.md} | 0 tools/{README.txt => README.md} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename docs/{README.txt => README.md} (100%) rename tools/{README.txt => README.md} (100%) diff --git a/docs/README.txt b/docs/README.md similarity index 100% rename from docs/README.txt rename to docs/README.md diff --git a/tools/README.txt b/tools/README.md similarity index 100% rename from tools/README.txt rename to tools/README.md