mirror of
https://github.com/servo/servo.git
synced 2025-09-30 00:29:14 +01:00
Replace time with std::time in components/metrics & components/shared (#31020)
This commit is contained in:
parent
e3e0d8f2c4
commit
92196d985d
8 changed files with 53 additions and 27 deletions
|
@ -36,7 +36,6 @@ serde = { workspace = true }
|
|||
servo_arc = { path = "../../servo_arc" }
|
||||
servo_rand = { path = "../../rand" }
|
||||
servo_url = { path = "../../url" }
|
||||
time = { workspace = true }
|
||||
url = { workspace = true }
|
||||
uuid = { workspace = true }
|
||||
webrender_api = { git = "https://github.com/servo/webrender" }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue