windowsbuild: chmod -x update_external_sources.bat
authorDavid Pinedo <david@lunarg.com>
Wed, 22 Jun 2016 16:37:55 +0000 (10:37 -0600)
committerDavid Pinedo <david@lunarg.com>
Wed, 22 Jun 2016 16:37:55 +0000 (10:37 -0600)
commitf848e49762cd387b0be8ef9379c8704bb211e250
tree1db75d8ab14ffa96a0a34d3a43e62cff773d7ebc
parent785034443420fe897a68fa78f2a72edb1a91dd53
windowsbuild:  chmod -x update_external_sources.bat
update_external_sources.bat [changed mode: 0755->0644]