Add user execute permissions to compile script - develop#2739

Merged

georgemccabe merged 1 commit intodevelopfrom feature_compile_script_exe

Nov 16, 2023

Commits on Nov 16, 2023

add user execute permissions so script can be run without needing to change the file permissions
georgemccabe
committed