projects / platform / upstream / SPIRV-Headers.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9242862 b1344c0)
Merge pull request #117 from ehsannas/UserTypeGOOGLE
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 12 Jun 2019 06:32:32 +0000 (00:32 -0600)
committerGitHub <noreply@github.com>
Wed, 12 Jun 2019 06:32:32 +0000 (00:32 -0600)
Add grammar and symbols for UserTypeGOOGLE extension to unified1.


Trivial merge
Domain: Graphics System / GL;