diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-05-02 11:34:39 -0400 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-05-02 11:34:39 -0400 |
| commit | 6f31ac2786e1dc334c7d78a79131fa5579710e9e (patch) | |
| tree | b7be08980479c6234c7f17848dcd9e05aab4c831 /src/components/script/dom/htmlmediaelement.rs | |
| parent | 9b6b5528e0961509a76bfd4c2c5840f15f23d742 (diff) | |
| parent | 23cc6aa414b922de2ffbe1681d123d622e983ba3 (diff) | |
| download | servo-6f31ac2786e1dc334c7d78a79131fa5579710e9e.tar.gz servo-6f31ac2786e1dc334c7d78a79131fa5579710e9e.zip | |
auto merge of #2258 : Manishearth/servo/wptupdate, r=jdm
Since the manifest is now checked in to the tree, we don't need html5lib unless we want to explicitly update the manifest.
I've added the `--update-manifest` argument to the make target (`export WPTARGS=--update-manifest;make check-wpt`) which triggers the update, installing dependencies if necessary.
Diffstat (limited to 'src/components/script/dom/htmlmediaelement.rs')
0 files changed, 0 insertions, 0 deletions