From 18748bb6131e6ba11a7522c7cf3c7a49bfc7bd53 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Tue, 3 May 2022 17:51:09 +0200 Subject: [PATCH] permissions --- apps/remix-ide/ci/flaky.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 apps/remix-ide/ci/flaky.sh diff --git a/apps/remix-ide/ci/flaky.sh b/apps/remix-ide/ci/flaky.sh old mode 100644 new mode 100755