From 4bd37fe3845ed5741c10f0f41fad1faf3fcbbe5b Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Tue, 2 Nov 2021 21:15:32 +0100
Subject: [PATCH] Make run_docker.sh executable

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

diff --git a/run_docker.sh b/run_docker.sh
old mode 100644
new mode 100755
-- 
GitLab