From 249a555557e64ad8d21167f166332413d0d122b8 Mon Sep 17 00:00:00 2001 From: Joep de Jong Date: Wed, 11 Oct 2023 14:26:20 +0200 Subject: [PATCH] Rename dockerfile --- .devcontainer/{dockerfile2 => Dockerfile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .devcontainer/{dockerfile2 => Dockerfile} (100%) diff --git a/.devcontainer/dockerfile2 b/.devcontainer/Dockerfile similarity index 100% rename from .devcontainer/dockerfile2 rename to .devcontainer/Dockerfile