mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
auto merge of #4035 : glennw/servo/remove-rust-alert, r=pcwalton
This commit is contained in:
commit
554f696db8
14 changed files with 5 additions and 117 deletions
|
@ -31,9 +31,6 @@ path = "../devtools"
|
|||
[dependencies.devtools_traits]
|
||||
path = "../devtools_traits"
|
||||
|
||||
[dependencies.alert]
|
||||
git = "https://github.com/servo/rust-alert"
|
||||
|
||||
[dependencies.azure]
|
||||
git = "https://github.com/servo/rust-azure"
|
||||
|
||||
|
|
|
@ -13,7 +13,6 @@
|
|||
#[phase(plugin, link)]
|
||||
extern crate log;
|
||||
|
||||
extern crate alert;
|
||||
extern crate azure;
|
||||
extern crate devtools_traits;
|
||||
extern crate geom;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue