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

Better references.

Browse source
This commit is contained in:
Michael Howell 2015-07-22 10:49:26 -07:00
parent 91c61ae751
commit 970f018dc8
6 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/tidy.py
View file

@ -173,9 +173,7 @@ def check_webidl_spec(contents):
# a_domain.path().cmp(b_domain.path())
# }
standards = [
"//w3c.github.io",
"//www.khronos.org/registry/webgl/specs",
"//developer.mozilla.org/en-US/docs/Mozilla/Tech/XUL/browser",
"//developer.mozilla.org/en-US/docs/Web/API",
"//dev.w3.org/2006/webapi",
"//dev.w3.org/csswg",