diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-21 19:51:04 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-21 19:51:04 +0530 |
| commit | 41892d4c93327b43dfe380a4e603789a86193069 (patch) | |
| tree | c7b23ccb13f0e481e584bd256249e48038bc8969 /python/mach_bootstrap.py | |
| parent | a86035dc6d8eb26cd00286399595dd1d03ee8e5d (diff) | |
| parent | aa1ae9b355ccd43e221f9e60db5c109c1258d0c2 (diff) | |
| download | servo-41892d4c93327b43dfe380a4e603789a86193069.tar.gz servo-41892d4c93327b43dfe380a4e603789a86193069.zip | |
Auto merge of #9394 - servo:wpt-lint, r=jdm
Include the wpt lint in test-tidy --faster.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9394)
<!-- Reviewable:end -->
Diffstat (limited to 'python/mach_bootstrap.py')
0 files changed, 0 insertions, 0 deletions