From 362a25a8edd1abc81c961991240c6f25bc435729 Mon Sep 17 00:00:00 2001
From: Jan Janssen <janssen@mpie.de>
Date: Tue, 12 Nov 2024 13:48:54 +0100
Subject: [PATCH] add executor bit

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

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