From c6d977babe140add89d7d293ab396eed1fb77536 Mon Sep 17 00:00:00 2001 From: takiguchi Date: Tue, 13 Aug 2019 22:17:53 +0200 Subject: [PATCH] Set execution rights to release script --- src/main/bash/do-release.bash | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 src/main/bash/do-release.bash diff --git a/src/main/bash/do-release.bash b/src/main/bash/do-release.bash old mode 100644 new mode 100755