diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-08-18 06:55:43 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-18 06:55:43 -0500 |
commit | 0fcbcf7fc5b050f8749c25d4821d4b219e5b264f (patch) | |
tree | 1d3fd8b3cc4d806cd56d042deecda54f613b75aa /python/servo/util.py | |
parent | b8159e659e787c1e792d13b0939bb88e978ae84e (diff) | |
parent | 73fe2f0e96b6385ddd150d1678d26d8360c6477c (diff) | |
download | servo-0fcbcf7fc5b050f8749c25d4821d4b219e5b264f.tar.gz servo-0fcbcf7fc5b050f8749c25d4821d4b219e5b264f.zip |
Auto merge of #18138 - glennw:update-wr-remove-webgl, r=jdm
Update WR (remove internal webgl implementation).
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18138)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions