From d7c26c89b2d4f5ff676ba7c3ad4f9075d50a8ab7 Mon Sep 17 00:00:00 2001 From: Eugene Yurtsev Date: Fri, 16 Feb 2024 16:59:18 -0500 Subject: [PATCH] ci: rename makefile -> Makefile in docker (#17648) Minor file rename. --- docker/{makefile => Makefile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docker/{makefile => Makefile} (100%) diff --git a/docker/makefile b/docker/Makefile similarity index 100% rename from docker/makefile rename to docker/Makefile