From e98bdd3fa3bda3c865e73a994f61ea364ecdf5d7 Mon Sep 17 00:00:00 2001 From: antoine Date: Thu, 3 Dec 2020 14:36:11 +0100 Subject: [PATCH] Add .md extension to the shell_tools file --- shell_tools => shell_tools.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename shell_tools => shell_tools.md (100%) diff --git a/shell_tools b/shell_tools.md similarity index 100% rename from shell_tools rename to shell_tools.md