diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-12-16 13:05:51 +0100 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-01-09 09:28:43 +0100 |
| commit | f7eeb26f0a263b52fa984abd9a85e16ac9c0eeaf (patch) | |
| tree | 7f44918c5da4bf83772f8d7ef56b3b50723b7a71 /components/script/microtask.rs | |
| parent | 6c2c3f75b90f075d4f7d23b800706e745cb10f8c (diff) | |
| download | servo-f7eeb26f0a263b52fa984abd9a85e16ac9c0eeaf.tar.gz servo-f7eeb26f0a263b52fa984abd9a85e16ac9c0eeaf.zip | |
Force the usage of mp4 for media-element WPTs
Diffstat (limited to 'components/script/microtask.rs')
0 files changed, 0 insertions, 0 deletions