diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-02-23 08:55:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 08:55:33 -0500 |
| commit | 6bc4a7df24df6c7ed41f2ee4c2d38a282760c2b6 (patch) | |
| tree | fcbe9ebb7584055afbae43b26f65365bb93f30bf /components/script/dom/window.rs | |
| parent | 504eeb803d67864efbaa370a2f4f0db5afe71275 (diff) | |
| parent | f3e1aba4e3bc1f715cebdca3d00734ab29b63d9b (diff) | |
| download | servo-6bc4a7df24df6c7ed41f2ee4c2d38a282760c2b6.tar.gz servo-6bc4a7df24df6c7ed41f2ee4c2d38a282760c2b6.zip | |
Auto merge of #25810 - Manishearth:xr-profile, r=jdm
Add profiling to WebXR
Fixes https://github.com/servo/webxr/issues/128
Depends on https://github.com/servo/webxr/pull/131
r? @jdm
Diffstat (limited to 'components/script/dom/window.rs')
0 files changed, 0 insertions, 0 deletions