From 4f25092dc13d84bb10463e1e7ad818b20a4e1846 Mon Sep 17 00:00:00 2001
From: Jeffrey Morgan <jmorganca@gmail.com>
Date: Sun, 1 Oct 2023 16:42:32 -0700
Subject: [PATCH] fix `build_docker.sh` permissions

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

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