projects / platform / upstream / SPIRV-Headers.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 842ec90 3f9bad6)
Merge pull request #131 from lukaszgotszaldintel/new_branch
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Thu, 3 Oct 2019 17:32:37 +0000 (11:32 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 17:32:37 +0000 (11:32 -0600)
add cmake option SPIRV_HEADERS_SKIP_INSTALL


Trivial merge
Domain: Graphics System / GL;