diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 22:21:37 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 22:21:37 +0530 |
| commit | a8cbc2864367da09fb31fb5f984a7b2d31b90b93 (patch) | |
| tree | 4b8d3165ff5a7f781a3bb116128afb9b7b4dfdae /components/script/dom/websocket.rs | |
| parent | 65108348aa543774ade163b25836018fa8f6c00f (diff) | |
| parent | e301ff46b2ab1dc823489fd979e64bc04c931aed (diff) | |
| download | servo-a8cbc2864367da09fb31fb5f984a7b2d31b90b93.tar.gz servo-a8cbc2864367da09fb31fb5f984a7b2d31b90b93.zip | |
Auto merge of #8742 - jmr0:master, r=Ms2ger
adding wpt lint script to tidy checks
Fixes #8285.
Tidy check will fail, however, until we merge the latest https://github.com/w3c/web-platform-tests/blob/master/lint.whitelist
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8742)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/websocket.rs')
0 files changed, 0 insertions, 0 deletions