Remove patched webxr

This commit is contained in:
Manish Goregaokar 2019-11-06 09:54:24 -08:00
parent 8cb6145311
commit 51bf8fcfe3
4 changed files with 57 additions and 33 deletions

View file

@ -29,12 +29,3 @@ 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" }