Merge branch 'master' into kg15

This commit is contained in:
greg-lunarg 2018-03-26 12:20:43 -06:00 committed by GitHub
commit 0b46c1edbf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
58 changed files with 3615 additions and 3113 deletions

View file

@ -12,7 +12,7 @@
"site" : "github",
"subrepo" : "KhronosGroup/SPIRV-Headers",
"subdir" : "External/spirv-tools/external/spirv-headers",
"commit" : "ce309203d7eceaf908bea8862c27f3e0749f7d00"
"commit" : "02ffc719aa9f9c1dce5ce05743fb1afe6cbf17ea"
}
]
}