Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-02 01:29:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Replace time with std::time in components/devtools (#30927)

Browse source 
Signed-off-by: Bentaimia Haddadi <haddadi.taym@gmail.com>
This commit is contained in:
Taym Haddadi 2024-01-03 17:52:04 +01:00 • committed by GitHub
parent d0998a771a
commit 65cbc95d38
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 41 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Cargo.lock generated
View file

@ -1351,6 +1351,7 @@ dependencies = [
name = "devtools"
version = "0.0.1"
dependencies = [
"chrono",
"crossbeam-channel",
"devtools_traits",
"embedder_traits",
@ -1364,7 +1365,6 @@ dependencies = [
"servo_config",
"servo_rand",
"servo_url",
"time 0.1.45",
"uuid",
]