update_external_sources.sh: now get spirv-tools headers from Khronos/SPIRV-Headers
authorGregF <greg@LunarG.com>
Fri, 17 Jun 2016 18:26:49 +0000 (12:26 -0600)
committerGregF <greg@LunarG.com>
Fri, 17 Jun 2016 18:29:16 +0000 (12:29 -0600)
commit264d7a7841c08a93bc1e88ae3f9638cea9a21626
tree76df3993350e75091bab5e4ed77b2dfd7949faf2
parent46406014145edb393587e125127d4ac89fc09a67
update_external_sources.sh: now get spirv-tools headers from Khronos/SPIRV-Headers
update_external_sources.sh