From 4974044386584defd495d6f8c03b13286fc9be28 Mon Sep 17 00:00:00 2001
From: joan <jvallve@iri.upc.edu>
Date: Wed, 24 Nov 2021 14:19:32 +0100
Subject: [PATCH] chmod

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

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