From 82d8496ee57447940998638e760703ea08eca148 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Bo=C3=ABs?= Date: Tue, 18 Jun 2019 19:28:40 +0200 Subject: [PATCH] Add deployment script to repository --- publish.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 publish.sh diff --git a/publish.sh b/publish.sh old mode 100644 new mode 100755