diff options
author | John Kessenich <johnkslang@users.noreply.github.com> | 2020-03-14 01:23:58 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-14 01:23:58 -0600 |
commit | a17e17e36da44d2cd1740132ecd7a8cb078f1d15 (patch) | |
tree | aacc30c44623a2712080ce8ccc8996934437edae /WORKSPACE | |
parent | 30ef660ce2e666f7ae925598b8a267f4da6d33aa (diff) | |
parent | 976926d583a7335cb361ee3ba9c5f99f08846643 (diff) | |
download | SPIRV-Headers-a17e17e36da44d2cd1740132ecd7a8cb078f1d15.tar.gz |
Merge pull request #148 from null77/fix-gn
Add missing header to BUILD.gn.
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions