mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Update surfman to use Git version
This commit is contained in:
parent
51bf8fcfe3
commit
2436bd195a
4 changed files with 16 additions and 10 deletions
|
@ -82,7 +82,7 @@ webdriver_server = {path = "../webdriver_server", optional = true}
|
|||
webvr = {path = "../webvr"}
|
||||
webvr_traits = {path = "../webvr_traits"}
|
||||
webxr-api = {git = "https://github.com/servo/webxr"}
|
||||
surfman = { git = "https://github.com/pcwalton/surfman", features = ["sm-osmesa"] }
|
||||
surfman = { version = "0.1", features = ["sm-osmesa"] }
|
||||
|
||||
[target.'cfg(all(not(target_os = "windows"), not(target_os = "ios"), not(target_os="android"), not(target_arch="arm"), not(target_arch="aarch64")))'.dependencies]
|
||||
gaol = "0.2.1"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue