diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 06:21:02 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 06:21:02 +0530 |
| commit | 18ee6bc30a90855beb7574a5e7627b436e12c193 (patch) | |
| tree | 4d08d460c02ab291399fa45c5316d125bdd5a86a /components/script/script_task.rs | |
| parent | 8b6bfb615a8a04177c321c4940f79f090b0a7971 (diff) | |
| parent | 964c8355b7135ac6ad939dd7c69a40bfddc6d693 (diff) | |
| download | servo-18ee6bc30a90855beb7574a5e7627b436e12c193.tar.gz servo-18ee6bc30a90855beb7574a5e7627b436e12c193.zip | |
Auto merge of #8617 - Ms2ger:unused-as, r=jdm
Remove an unused trait.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8617)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/script_task.rs')
0 files changed, 0 insertions, 0 deletions