diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-05-12 21:25:58 -0500 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-05-12 21:25:58 -0500 |
| commit | e7db42f93125a8b2f9122ed34402d652ea6b2ff3 (patch) | |
| tree | bac20de6b0cb441b3a9de1ad3eab7d1114d77564 /servobuild.example | |
| parent | 606ab1df448368fdffd531f4c66f1f069b942eac (diff) | |
| parent | 37b6eeddff92ba31ba4ac9baed62f4ffb876da07 (diff) | |
| download | servo-e7db42f93125a8b2f9122ed34402d652ea6b2ff3.tar.gz servo-e7db42f93125a8b2f9122ed34402d652ea6b2ff3.zip | |
Auto merge of #6027 - Adenilson:unusedOpts01, r=jdm
Seems to be a left over from quite some time ago.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6027)
<!-- Reviewable:end -->
Diffstat (limited to 'servobuild.example')
0 files changed, 0 insertions, 0 deletions