diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-05-24 13:08:05 -0700 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-05-24 13:08:05 -0700 |
| commit | ea38ccfdfe12c64d41ff460f358e21cafead8414 (patch) | |
| tree | 514dcb5034e65ab27df95f7b33149c338279fec3 /components/script/dom/webidls/HTMLParamElement.webidl | |
| parent | aa9f50a1d406e72d8b443f79439aaf9fd2ba4425 (diff) | |
| parent | 619212abf3d62a83e97dfdb3d8d1a085bf2db792 (diff) | |
| download | servo-ea38ccfdfe12c64d41ff460f358e21cafead8414.tar.gz servo-ea38ccfdfe12c64d41ff460f358e21cafead8414.zip | |
Auto merge of #11278 - mitchhentges:8348-reduce-duplication, r=aneeshusa
Reduce 'android-18' duplication by putting it in $ANDROID_TARGET env variable
Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data:
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy --faster` does not report any errors
- [x] These changes fix #8348
Either:
- [X] These changes do not require tests because ~~I'm lazy~~ it's a configuration change, and asserting default values is usually tedious and not very helpful
Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process.
---
Allegedly, this broke the build [back in the day](https://github.com/servo/servo/pull/8519).
Going to see if it's a piece of cake to land now
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/11278)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webidls/HTMLParamElement.webidl')
0 files changed, 0 insertions, 0 deletions