From 7cbda30369863e2b57c29d7ae11a0fd86699effe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20Drzewiecki?= Date: Fri, 8 Sep 2023 14:35:45 +0200 Subject: [PATCH] renames DOCKERFILE to Dockerfile to fix make docker-build --- DOCKERFILE => Dockerfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename DOCKERFILE => Dockerfile (100%) diff --git a/DOCKERFILE b/Dockerfile similarity index 100% rename from DOCKERFILE rename to Dockerfile