From c6a978a6a63d6e2a5502c80045a04c489dfe6b52 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Fri, 12 Nov 2021 12:35:10 +0100 Subject: [PATCH] perms lint --- apps/remix-ide/ci/lint.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 apps/remix-ide/ci/lint.sh diff --git a/apps/remix-ide/ci/lint.sh b/apps/remix-ide/ci/lint.sh old mode 100644 new mode 100755