update_external_sources.bat: now get headers from Khronos/SPIRV-Headers
authorGreg Fischer <greg@lunarg.com>
Fri, 17 Jun 2016 18:19:46 +0000 (12:19 -0600)
committerGreg Fischer <greg@lunarg.com>
Fri, 17 Jun 2016 18:19:46 +0000 (12:19 -0600)
commitae957adfb5feb5c5e67174998d9087e030bb479b
treea886e3df2741af14c41262554409686f25cb5555
parent379a2fb69af4405a93e99597770729ef58081ca2
update_external_sources.bat: now get headers from Khronos/SPIRV-Headers
update_external_sources.bat