From 3a478090a4408e1e8d0bf3204e7f6c2ae86d2ea2 Mon Sep 17 00:00:00 2001
From: Wouter <wutje@users.noreply.github.com>
Date: Mon, 18 Sep 2023 11:49:09 +0200
Subject: [PATCH] compile-with-docker.sh: Make executable by default. (#42)

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

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