From 223738f202c34a962370e159425302b1a120dcfd Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Fri, 17 Oct 2025 01:25:43 +0200
Subject: [PATCH] Rename devcontainer.json to devcontainer.json

---
 .devcontainer/{13 => 030 - macOS Ventura}/devcontainer.json | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .devcontainer/{13 => 030 - macOS Ventura}/devcontainer.json (100%)

diff --git a/.devcontainer/13/devcontainer.json b/.devcontainer/030 - macOS Ventura/devcontainer.json
similarity index 100%
rename from .devcontainer/13/devcontainer.json
rename to .devcontainer/030 - macOS Ventura/devcontainer.json