diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-02-16 10:58:19 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-16 10:58:19 -0800 |
commit | a099d27f99dadf3f7c26d997e43c1a12e0c5bd0e (patch) | |
tree | 5583d83e8d579d1d7f93887eb7f8a54442161e7a /python/servo/command_base.py | |
parent | 05623b36a15b594bbc690fcd8e3b642995618de1 (diff) | |
parent | 3eed8a91a1183e22b69b1be48ad97a253bc1dc0a (diff) | |
download | servo-a099d27f99dadf3f7c26d997e43c1a12e0c5bd0e.tar.gz servo-a099d27f99dadf3f7c26d997e43c1a12e0c5bd0e.zip |
Auto merge of #15584 - nox:plugin, r=jdm
Move script lints to script_plugins
<!-- 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/15584)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions