From 335422f0777d125900cb38c41c07ca23227a82f59c3295b08280e2fa6b9e4d3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Rom=C3=A1n=20Archidona?= Date: Sat, 22 Sep 2018 12:34:36 +0200 Subject: [PATCH] This must be executable --- ediv/bin/makelib.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ediv/bin/makelib.sh diff --git a/ediv/bin/makelib.sh b/ediv/bin/makelib.sh old mode 100644 new mode 100755