mirror of
https://github.com/servo/servo.git
synced 2025-09-11 07:28:19 +01:00
Made PipelineId non-zero, so optional ids take no more space.
This commit is contained in:
parent
a0afa66dbe
commit
6754b2834f
11 changed files with 79 additions and 33 deletions
|
@ -13,5 +13,5 @@ path = "lib.rs"
|
|||
bitflags = "0.7"
|
||||
heapsize = "0.4"
|
||||
heapsize_derive = "0.1"
|
||||
serde = "1.0"
|
||||
serde = { version = "1.0.14", features = [ "unstable" ] }
|
||||
webrender_api = {git = "https://github.com/servo/webrender", features = ["ipc"]}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue