Files
servo/components/script_plugins
bors-servo 6fb7a8cdc7 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 -->
2019-05-20 21:13:33 -04:00
..