Auto merge of #15670 - nox:die-plugins-die, r=Manishearth

Kill the plugins crate and its clippy support

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/15670)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-02-21 05:15:15 -08:00 committed by GitHub
commit 14bbe9d872
52 changed files with 9 additions and 219 deletions

View file

@ -27,7 +27,6 @@ log = "0.3.5"
msg = {path = "../msg"}
net_traits = {path = "../net_traits"}
ordered-float = "0.4"
plugins = {path = "../plugins"}
range = {path = "../range"}
serde = "0.9"
serde_derive = "0.9"

View file

@ -8,12 +8,9 @@
#![cfg_attr(any(target_os = "linux", target_os = "android"), feature(alloc))]
#![feature(box_syntax)]
#![feature(plugin)]
#![feature(range_contains)]
#![feature(unique)]
#![plugin(plugins)]
#![deny(unsafe_code)]
#[cfg(any(target_os = "linux", target_os = "android"))]