mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Remove all our local patches to the WebIDL parser
All the tweaks we need can just be made through Configuration.py, and [Abstract] is being submitted upstream by Ms2ger.
This commit is contained in:
parent
432087c0ea
commit
06947965b1
6 changed files with 56 additions and 89 deletions
|
@ -1,4 +1,2 @@
|
|||
wget https://mxr.mozilla.org/mozilla-central/source/dom/bindings/parser/WebIDL.py?raw=1 -O WebIDL.py
|
||||
patch < external.patch
|
||||
patch < module.patch
|
||||
patch < abstract.patch
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue