mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Vendor the current version of WebRender
This is a step toward upgrading WebRender, which will be upgraded and patched in the `third_party` directory. This change vendors the current private branch of WebRender that we use and adds a `patches` directory which tracks the changes on top of the upstream WebRender commit described by third_party/webrender/patches/head.
This commit is contained in:
parent
c19eb800de
commit
49277f5c3f
1215 changed files with 185677 additions and 34 deletions
|
@ -49,5 +49,5 @@ tokio = { workspace = true }
|
|||
url = { workspace = true, optional = true }
|
||||
uuid = { workspace = true, optional = true }
|
||||
void = "1.0.2"
|
||||
webrender_api = { git = "https://github.com/servo/webrender", optional = true }
|
||||
webrender_api = { workspace = true, optional = true }
|
||||
xml5ever = { workspace = true, optional = true }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue