diff options
| author | Bastien Orivel <eijebong@bananium.fr> | 2019-05-15 23:03:25 +0200 |
|---|---|---|
| committer | Bastien Orivel <eijebong@bananium.fr> | 2019-05-15 23:03:25 +0200 |
| commit | 13c632e739c030243bf7295b54597657be17ef79 (patch) | |
| tree | 643f1de1654cb9ba4fd252a7bb9b145882181116 /components/script/dom/htmlelement.rs | |
| parent | 965f57e3f8011dd7bdc61b438f95eeb87748319d (diff) | |
| download | servo-13c632e739c030243bf7295b54597657be17ef79.tar.gz servo-13c632e739c030243bf7295b54597657be17ef79.zip | |
Switch from webidl to weedle in script_plugins
This removes the dependency on lalrpop and should speed up compilation
quite a bit.
Diffstat (limited to 'components/script/dom/htmlelement.rs')
0 files changed, 0 insertions, 0 deletions