diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-20 21:13:33 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 21:13:33 -0400 |
| commit | 6fb7a8cdc787abf7c69304d3186b0a318ef25412 (patch) | |
| tree | 934d8979ddd079a451216f91eba06bbd2d966368 /components/script/dom/htmlelement.rs | |
| parent | b1fcd41efc9f8406105f62dc82b719c7a921a08f (diff) | |
| parent | 13c632e739c030243bf7295b54597657be17ef79 (diff) | |
| download | servo-6fb7a8cdc787abf7c69304d3186b0a318ef25412.tar.gz servo-6fb7a8cdc787abf7c69304d3186b0a318ef25412.zip | |
Auto merge of #23405 - Eijebong:weedle, r=jdm
Switch from webidl to weedle in script_plugins
This removes the dependency on lalrpop and should speed up compilation
quite a bit.
<!-- 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/23405)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlelement.rs')
0 files changed, 0 insertions, 0 deletions