diff --git a/.devcontainer/DOCKERFILE b/.devcontainer/Dockerfile similarity index 100% rename from .devcontainer/DOCKERFILE rename to .devcontainer/Dockerfile