From eb0da106576615962cd53105999256836341d4ba Mon Sep 17 00:00:00 2001 From: filip mertens Date: Mon, 20 Mar 2023 12:43:16 +0100 Subject: [PATCH] perms --- apps/remix-ide/ci/publish_plugin.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 apps/remix-ide/ci/publish_plugin.sh diff --git a/apps/remix-ide/ci/publish_plugin.sh b/apps/remix-ide/ci/publish_plugin.sh old mode 100644 new mode 100755