diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-09-01 19:57:42 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-09-01 19:57:42 -0600 |
| commit | a58f71c38eb64a723cfa6f69c75c03e0d46c805e (patch) | |
| tree | 9c6ccf083dc62f2aacad46d0259efaf0665d1af6 /components/script/script_task.rs | |
| parent | e46499a5dfd9189fc439c228d9a5fe23dfec0d7d (diff) | |
| parent | ba1109b920d1a31b03872800fb9e335adcf70eca (diff) | |
| download | servo-a58f71c38eb64a723cfa6f69c75c03e0d46c805e.tar.gz servo-a58f71c38eb64a723cfa6f69c75c03e0d46c805e.zip | |
Auto merge of #7504 - ddrmanxbxfr:RemoveUnusedTimeFunction, r=jdm
Issue #7501 emove unused time function in time module of profile
Title sums it up. Time function in the time module of profile crate was unused.
Unless we plan to use it soon, we should clean it up
See issue #7501 related to it.
Thanks.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7504)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/script_task.rs')
0 files changed, 0 insertions, 0 deletions