diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-05 03:21:04 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-05 03:21:04 +0530 |
commit | 50e0c36eeb8cd52b90dba24b5b3692abc25d8d4d (patch) | |
tree | e22555edfa55336b331aef36ae3608079a77528f /components/script/parse/mod.rs | |
parent | dc159d055c5e4931648a7046492ec5c63ab922aa (diff) | |
parent | 193d8f2dba94c3b8edad34cf9f40cdf27daaeb63 (diff) | |
download | servo-50e0c36eeb8cd52b90dba24b5b3692abc25d8d4d.tar.gz servo-50e0c36eeb8cd52b90dba24b5b3692abc25d8d4d.zip |
Auto merge of #8318 - eefriedman:dead-sync-load, r=jdm
Remove dead load_sync function.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8318)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/parse/mod.rs')
0 files changed, 0 insertions, 0 deletions