make scripts executable

lbbrhzn · Nov 8, 2023 · c205665 · c205665
1 parent a61e940
commit c205665
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/scripts/develop b/scripts/develop
diff --git a/scripts/lint b/scripts/lint
diff --git a/scripts/setup b/scripts/setup