From ae8829c833a8183bc7f432ee4238ad8307427b70 Mon Sep 17 00:00:00 2001 From: Alessandro Mauri Date: Mon, 2 Jun 2025 12:11:25 +0200 Subject: [PATCH] capitalized 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