From 5e1a39b0a4863268764de949d0f25d87fec00cce Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 22 Sep 2020 19:51:21 +0200
Subject: Change library script permissions

Don't really know why they changed at some point
---
 getlibs.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 getlibs.sh

diff --git a/getlibs.sh b/getlibs.sh
old mode 100644
new mode 100755
-- 
cgit v1.2.3