From 230e55903e59db7865f1fe8077df923f755a4bd0 Mon Sep 17 00:00:00 2001
From: marc <marc@shortcake.local>
Date: Tue, 11 Aug 2026 19:26:51 +0200
Subject: [PATCH] Make build.sh executable

It has always been run as ./build.sh, which the file's own header says,
and the bit for it was never set.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
---
 build.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 build.sh

diff --git a/build.sh b/build.sh
old mode 100644
new mode 100755