commit | 9fd2a8cdfc15883059500c243949dd89dc19d621 | [log] [tgz] |
---|---|---|
author | David Neto <dneto@google.com> | Mon Aug 20 10:36:27 2018 -0400 |
committer | David Neto <dneto@google.com> | Mon Aug 20 10:36:27 2018 -0400 |
tree | e243860cbd5a218cc462117bafa42304853d5fb2 | |
parent | 93dbbdee36d397e8608ca3d3842692e0ac620c24 [diff] |
Use our own SPIRV-Tools message stringifier Stop including an internal SPIRV-Tools header. It has been deleted. Fixes #1477