mirror of
https://github.com/servo/servo.git
synced 2025-08-15 10:25:32 +01:00
Make uuid optional and hide it behind servo feature in malloc_size_of
This commit is contained in:
parent
d60f7d87c8
commit
a892102d46
2 changed files with 8 additions and 2 deletions
|
@ -22,6 +22,7 @@ servo = [
|
|||
"webrender_api",
|
||||
"xml5ever",
|
||||
"content-security-policy",
|
||||
"uuid"
|
||||
]
|
||||
|
||||
[dependencies]
|
||||
|
@ -47,4 +48,4 @@ url = { version = "2.0", optional = true }
|
|||
webrender_api = { git = "https://github.com/servo/webrender", optional = true }
|
||||
xml5ever = { version = "0.16", optional = true }
|
||||
void = "1.0.2"
|
||||
uuid = {version = "0.8", features = ["v4", "serde"]}
|
||||
uuid = {version = "0.8", features = ["v4"], optional = true}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue