From 5de2543a0e0a71510b500ffc10da3f6dea5dc039 Mon Sep 17 00:00:00 2001 From: Kroese Date: Fri, 17 Oct 2025 01:03:41 +0200 Subject: [PATCH] Rename devcontainer.json to devcontainer.json --- .../devcontainer.json | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .devcontainer/{30 - Windows 10 Pro => 030 - Windows 10 Pro}/devcontainer.json (100%) diff --git a/.devcontainer/30 - Windows 10 Pro/devcontainer.json b/.devcontainer/030 - Windows 10 Pro/devcontainer.json similarity index 100% rename from .devcontainer/30 - Windows 10 Pro/devcontainer.json rename to .devcontainer/030 - Windows 10 Pro/devcontainer.json