From 85e3016238995ab3a92185aed25dfb2ab80e9b25 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Tue, 7 Feb 2023 14:08:36 +0100
Subject: [PATCH] review from Henning

---
 install-dev23a.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install-dev23a.sh b/install-dev23a.sh
index 02c79ff..f7b56f6 100644
--- a/install-dev23a.sh
+++ b/install-dev23a.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 #set -e
 mkdir -p dev-23a
 cd dev-23a
-- 
GitLab