mirror of
https://github.com/servo/servo.git
synced 2025-09-29 16:19:14 +01:00
Patch surfman and webxr
This commit is contained in:
parent
f626355b67
commit
e6989d692c
2 changed files with 12 additions and 3 deletions
|
@ -29,3 +29,12 @@ opt-level = 3
|
|||
mio = { git = "https://github.com/servo/mio.git", branch = "servo" }
|
||||
# https://github.com/retep998/winapi-rs/pull/816
|
||||
winapi = { git = "https://github.com/servo/winapi-rs", branch = "patch-1" }
|
||||
|
||||
|
||||
# temporary
|
||||
[patch."https://github.com/pcwalton/surfman"]
|
||||
surfman = { git = "https://github.com/jdm/rust-offscreen-rendering-context", branch = "servo" }
|
||||
|
||||
[patch."https://github.com/servo/webxr"]
|
||||
webxr = { git = "https://github.com/jdm/webxr", branch = "no-gl-readback2" }
|
||||
webxr-api = { git = "https://github.com/jdm/webxr", branch = "no-gl-readback2" }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue