diff options
| author | David Pinedo <david@lunarg.com> | 2016-06-22 10:37:55 -0600 |
|---|---|---|
| committer | David Pinedo <david@lunarg.com> | 2016-06-22 10:37:55 -0600 |
| commit | 3a75a99670518833ecc4d0347f7912d354f1ae06 (patch) | |
| tree | 5b1673ca122a15903c00dd49ad9beec97a468377 | |
| parent | 9a8d799fa8016fc1864f77e6ed466ea5f252eb4c (diff) | |
| download | usermoji-3a75a99670518833ecc4d0347f7912d354f1ae06.tar.xz | |
windowsbuild: chmod -x 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 b9ff00df..b9ff00df 100755..100644 --- a/update_external_sources.bat +++ b/update_external_sources.bat |