--- 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 -- 2.11.0