Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add XRHand interface

Browse source
This commit is contained in:
Manish Goregaokar 2020-04-24 09:12:58 -07:00
parent 6ad3e0c047
commit c89dc821ba
7 changed files with 116 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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