From 070a6b847dd070eae6ff5095a04e5fadd06e0869 Mon Sep 17 00:00:00 2001
From: Jan-Henrik Bruhn <hi@jhbruhn.de>
Date: Sun, 17 Mar 2024 20:29:12 +0100
Subject: [PATCH] Make platform.sh executable

---
 docker/platform.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 docker/platform.sh

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