From 65c982d30f1fc5bc26cf0aaa7b55a238a7133f26 Mon Sep 17 00:00:00 2001 From: Daniel Kollmannsberger Date: Thu, 14 Mar 2024 03:18:26 +0000 Subject: [PATCH] script permission fix --- scripts/develop | 0 scripts/lint | 0 scripts/setup | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/develop mode change 100644 => 100755 scripts/lint mode change 100644 => 100755 scripts/setup diff --git a/scripts/develop b/scripts/develop old mode 100644 new mode 100755 diff --git a/scripts/lint b/scripts/lint old mode 100644 new mode 100755 diff --git a/scripts/setup b/scripts/setup old mode 100644 new mode 100755