From b039540e9fe7828512e2083305d351d77db55cac Mon Sep 17 00:00:00 2001 From: s2 Date: Sat, 19 May 2018 22:05:09 +0200 Subject: [PATCH] makedist script --- makedist.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 makedist.sh diff --git a/makedist.sh b/makedist.sh old mode 100644 new mode 100755