make all shell scripts executable#798
Merged
jgebal merged 1 commit intoutPLSQL:developfrom Nov 25, 2018
PhilippSalvisberg:bugfix/set_executable_bit
Merged
make all shell scripts executable#798jgebal merged 1 commit intoutPLSQL:developfrom PhilippSalvisberg:bugfix/set_executable_bit
jgebal merged 1 commit intoutPLSQL:developfrom
PhilippSalvisberg:bugfix/set_executable_bit