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

Merge branch 'master' of https://github.com/pshaughn/servo

Browse source
This commit is contained in:
Patrick Shaughnessy 2019-11-23 22:08:43 -05:00
commit a2a3ecac93
80 changed files with 1684 additions and 141 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -100,6 +100,7 @@ WEBIDL_STANDARDS = [
"//webaudio.github.io",
"//immersive-web.github.io/",
"//github.com/immersive-web/webxr-test-api/",
"//gpuweb.github.io",
# Not a URL
"// This interface is entirely internal to Servo, and should not be" +
" accessible to\n// web pages."