mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
Move util::time::duration_from_seconds to profile::time
This commit is contained in:
parent
f8f00fac5b
commit
5a576e873e
4 changed files with 16 additions and 24 deletions
|
@ -48,7 +48,6 @@ pub mod str;
|
|||
pub mod thread;
|
||||
pub mod thread_state;
|
||||
pub mod tid;
|
||||
#[cfg(feature = "servo")] pub mod time;
|
||||
pub mod vec;
|
||||
#[allow(unsafe_code)] pub mod workqueue;
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue