From 66bf4632e2d8afe996b8074b1964931c5b66114c Mon Sep 17 00:00:00 2001
From: Jesper Noordsij <45041769+jnoordsij@users.noreply.github.com>
Date: Mon, 5 Jan 2026 14:34:05 +0100
Subject: [PATCH] Remove unused empty code-gen-docker.sh script

---
 script/code-gen-docker.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100755 script/code-gen-docker.sh

diff --git a/script/code-gen-docker.sh b/script/code-gen-docker.sh
deleted file mode 100755
index e69de29bb..000000000