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

test-tidy fixes

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-07-12 17:57:08 +02:00
parent f0a691e474
commit 21cb160be3
10 changed files with 43 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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