Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-10 17:43:16 +00:00
Code Issues Projects Releases Packages Wiki Activity
servo/components/script_plugins
History
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
..
Cargo.toml Switch from webidl to weedle in script_plugins 2019-05-15 23:03:25 +02:00
lib.rs Auto merge of #23405 - Eijebong:weedle, r=jdm 2019-05-20 21:13:33 -04:00
unrooted_must_root.rs Upgrade to rustc 1.36.0-nightly (a9ec99f42 2019-05-13) 2019-05-14 17:37:40 +02:00
utils.rs Upgrade to rustc 1.36.0-nightly (a9ec99f42 2019-05-13) 2019-05-14 17:37:40 +02:00
webidl_must_inherit.rs Auto merge of #23405 - Eijebong:weedle, r=jdm 2019-05-20 21:13:33 -04:00