diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-08-01 10:04:07 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-08-01 10:04:07 -0600 |
| commit | effb17b3368769baaf5247908b26b7f0dd370ea3 (patch) | |
| tree | 29bdcfc951341fd8820f2cf7555281518bbf0343 /components/script/dom/webidls/FileList.webidl | |
| parent | 4de6e699b2ee095177360ae1812d9f47829adcc3 (diff) | |
| parent | 79b65402d70e54af10e11bc859db50fb0d5744c5 (diff) | |
| download | servo-effb17b3368769baaf5247908b26b7f0dd370ea3.tar.gz servo-effb17b3368769baaf5247908b26b7f0dd370ea3.zip | |
Auto merge of #6829 - Wafflespeanut:devtools, r=jdm
Persuading devtools to communicate with the workers; r=jdm
For now, this just gives some purpose to the abandoned receiver and later selects over the two receivers (for #6767). (oh wait, forgot to check the local build - there are still a few errors)...
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6829)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webidls/FileList.webidl')
0 files changed, 0 insertions, 0 deletions