From 42d4a2ffb0e869fe35a2f3eb7d1abc6c4ae816fa Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 14 Mar 2023 19:48:21 +0300 Subject: [PATCH] Unnecessary .sh extension --- makedist.sh => makedist | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename makedist.sh => makedist (100%) diff --git a/makedist.sh b/makedist similarity index 100% rename from makedist.sh rename to makedist -- 2.44.0