From 8434fa0c96334ea12ff5ae83b6bde4e0e8e1bb00 Mon Sep 17 00:00:00 2001 From: ferrreo Date: Thu, 6 Jul 2023 18:20:04 +0100 Subject: [PATCH] Rename MakeFile to Makefile --- MakeFile => Makefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename MakeFile => Makefile (100%) diff --git a/MakeFile b/Makefile similarity index 100% rename from MakeFile rename to Makefile