Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Switch from webidl to weedle in script_plugins

Browse source 
This removes the dependency on lalrpop and should speed up compilation
quite a bit.
This commit is contained in:
Bastien Orivel 2019-05-15 23:03:25 +02:00
parent 965f57e3f8
commit 13c632e739
4 changed files with 29 additions and 149 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script_plugins/Cargo.toml
View file

@ -14,4 +14,4 @@ unrooted_must_root_lint = []
webidl_lint = []
[dependencies]
webidl = "0.8"
weedle = "0.9"