mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Fix renamed webidl name in ini config
This commit is contained in:
parent
58e8ee674b
commit
4cb2216b26
1 changed files with 1 additions and 1 deletions
|
@ -187,7 +187,7 @@ skip: true
|
|||
skip: false
|
||||
[dom-overlay]
|
||||
skip: true
|
||||
[WebIDL]
|
||||
[webidl]
|
||||
skip: false
|
||||
[webmessaging]
|
||||
skip: false
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue