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
..
helper
plugin	servo: Merge #15584 - Move script lints to script_plugins (from nox:plugin); r=jdm	2017-02-16 10:58:19 -08:00