diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-02-08 16:06:06 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-08 16:06:06 -0800 |
| commit | 8aec1ccdd22145df0ca7bb9456b40b3175fc5992 (patch) | |
| tree | 71d58614fb4c017acb21e3d3dfb736c10f226f72 /python/servo/lints/wpt_lint.py | |
| parent | 287b02e21fa2c81d58b070be36add5e951512679 (diff) | |
| parent | a69eed69564f44e047e8340b95de9a23c9717307 (diff) | |
| download | servo-8aec1ccdd22145df0ca7bb9456b40b3175fc5992.tar.gz servo-8aec1ccdd22145df0ca7bb9456b40b3175fc5992.zip | |
Auto merge of #15447 - bholley:in_tree_selectors, r=SimonSapin
Move rust-selectors into servo/servo
See the thread at [1].
[1] https://groups.google.com/d/msg/mozilla.dev.servo/iHykieVC5SM/Z31_n0agBAAJ
<!-- 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/15447)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions