diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-27 13:35:09 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-27 13:35:09 -0400 |
| commit | 0964d055cd2c390439a007bca3099258fa2ada3f (patch) | |
| tree | 8ddd2e6f8143f2521784de1cde9e706d50d6edc6 /tests/wpt/web-platform-tests/css/css-animations/animationevent-interface.js | |
| parent | de415e35fc127d70fc1e692a266b97d20aa0630e (diff) | |
| parent | deeb79669f2bd3829cca745f2d514205a4d61307 (diff) | |
| download | servo-0964d055cd2c390439a007bca3099258fa2ada3f.tar.gz servo-0964d055cd2c390439a007bca3099258fa2ada3f.zip | |
Auto merge of #21809 - servo:features, r=SimonSapin
Only build ports/servo by default (except Android), add `./mach build --libsimpleservo`
Fixes #21314
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21809)
<!-- Reviewable:end -->
Diffstat (limited to 'tests/wpt/web-platform-tests/css/css-animations/animationevent-interface.js')
0 files changed, 0 insertions, 0 deletions