gecko-dev/servo/components/plugins
Anthony Ramine ba474011c0 servo: Merge #15584 - Move script lints to script_plugins (from nox:plugin); r=jdm
Source-Repo: https://github.com/servo/servo
Source-Revision: a099d27f99dadf3f7c26d997e43c1a12e0c5bd0e

--HG--
rename : servo/components/plugins/lints/ban.rs => servo/components/script_plugins/ban.rs
rename : servo/components/plugins/jstraceable.rs => servo/components/script_plugins/jstraceable.rs
rename : servo/components/plugins/lib.rs => servo/components/script_plugins/lib.rs
rename : servo/components/plugins/lints/unrooted_must_root.rs => servo/components/script_plugins/unrooted_must_root.rs
rename : servo/components/plugins/utils.rs => servo/components/script_plugins/utils.rs
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : d9f5feb6fec348aa13107d51c21f3a7861c37eee
2017-02-16 10:58:19 -08:00
..
Cargo.toml servo: Merge #15584 - Move script lints to script_plugins (from nox:plugin); r=jdm 2017-02-16 10:58:19 -08:00
lib.rs servo: Merge #15584 - Move script lints to script_plugins (from nox:plugin); r=jdm 2017-02-16 10:58:19 -08:00