Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add spec links

Browse source
This commit is contained in:
Manish Goregaokar 2018-12-22 22:23:40 -08:00
parent 241d93340b
commit c6c6b518cb
9 changed files with 28 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/tidy/servo_tidy/tidy.py
View file

@ -95,6 +95,7 @@ WEBIDL_STANDARDS = [
"//svgwg.org/svg2-draft",
"//wicg.github.io",
"//webaudio.github.io",
"//immersive-web.github.io/",
# Not a URL
"// This interface is entirely internal to Servo, and should not be" +
" accessible to\n// web pages."