diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-09-24 13:32:15 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-09-24 13:32:15 +0200 |
commit | ea6cff4b8d173c3d10ff06e37702ca1cfe0aa1d6 (patch) | |
tree | af9fa0ce503c4d1ebcef1f4a157f702febd46f4a /python/servo/build_commands.py | |
parent | 6ca62aa0de1fda970daac53681a9b6e47cf91fbd (diff) | |
download | servo-ea6cff4b8d173c3d10ff06e37702ca1cfe0aa1d6.tar.gz servo-ea6cff4b8d173c3d10ff06e37702ca1cfe0aa1d6.zip |
Allow playing video/webm on Windows
Diffstat (limited to 'python/servo/build_commands.py')
-rw-r--r-- | python/servo/build_commands.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index c78bbc29019..9be65832c8e 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -892,6 +892,7 @@ def package_gstreamer_dlls(env, servo_exe_dir, target, uwp): if not uwp: gst_dlls += [ + "gstmatroska.dll", "gstnice.dll", "gstogg.dll", "gstopengl.dll", |