diff options
author | Alexander F Rødseth <rodseth@gmail.com> | 2016-06-17 09:45:26 -0600 |
---|---|---|
committer | Tony Barbour <tony@LunarG.com> | 2016-06-17 10:46:10 -0600 |
commit | 07ac0214842b58136fb91d5e5fed309c7000bbb3 (patch) | |
tree | 1585b17517d49112dca4fbbd77ed200a21c12020 /update_external_sources.bat | |
parent | 41ebd7fdd5146c048548af833c4b8f66ab25128e (diff) |
Only set scripts that starts with a hashbang as executable
Remove executable bit from files like README.md
Change-Id: I6a2a86e8312616c175845f0a3b777515a58c52b9
Diffstat (limited to 'update_external_sources.bat')
-rw-r--r--[-rwxr-xr-x] | update_external_sources.bat | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/update_external_sources.bat b/update_external_sources.bat index afe63d0b..afe63d0b 100755..100644 --- a/update_external_sources.bat +++ b/update_external_sources.bat |