From d6ab52116d854c35e8230c9f4eae179b87eaff4c Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Wed, 1 Nov 2017 22:08:58 +0100 Subject: [PATCH] make `update-external-files` executable --- scripts/debian/update-external-files | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/debian/update-external-files diff --git a/scripts/debian/update-external-files b/scripts/debian/update-external-files old mode 100644 new mode 100755 -- GitLab