diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-05-11 02:11:56 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-11 02:11:56 -0500 |
| commit | 9a419ec3d50436b3a91227880114d9985f2097e7 (patch) | |
| tree | a48ebb580f4e4af1abf35fba093ea257b8fc4388 /components/script/script_thread.rs | |
| parent | f7d67b86244fed6affaf521de17da05c6cab2c29 (diff) | |
| parent | 11903830f8dce1b4452f0fdb03a912568b980be9 (diff) | |
| download | servo-9a419ec3d50436b3a91227880114d9985f2097e7.tar.gz servo-9a419ec3d50436b3a91227880114d9985f2097e7.zip | |
Auto merge of #16799 - pyfisch:unused-opts, r=Wafflespeanut
Remove unused opts
<!-- Please describe your changes on the following line: -->
---
<!-- 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` does not report any errors
- [X] These changes fix #15963 (github issue number if applicable).
<!-- Either: -->
- [X] There are tests for these changes OR
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
<!-- 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/16799)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/script_thread.rs')
0 files changed, 0 insertions, 0 deletions