diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-11-06 10:46:44 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-06 10:46:44 -0600 |
commit | a509ebf90ccd24ef80b27737faefa340a5af8916 (patch) | |
tree | 9239b835bedf7dac35e229965f50cbb33435ffac /components/layout/webrender_helpers.rs | |
parent | 0047c77f0374ec773fab1cb0c0b7fcfdbb6472d2 (diff) | |
parent | 8b0f58c8af3fd5f0a328ac9286d2719328cadbd5 (diff) | |
download | servo-a509ebf90ccd24ef80b27737faefa340a5af8916.tar.gz servo-a509ebf90ccd24ef80b27737faefa340a5af8916.zip |
Auto merge of #18657 - emilio:bye-applet, r=KiChjang
script: Remove HTMLAppletElement.
It was removed from the spec, there's no reason to keep it in tree.
<!-- 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/18657)
<!-- Reviewable:end -->
Diffstat (limited to 'components/layout/webrender_helpers.rs')
0 files changed, 0 insertions, 0 deletions