diff options
author | bors-servo <release+servo@mozilla.com> | 2014-05-12 13:52:43 -0400 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2014-05-12 13:52:43 -0400 |
commit | 1657a142cc3020a27eb061cb8b5ae5550d7dd004 (patch) | |
tree | 8d2ff2620d55a97df066845f788e78548967a6c4 /src/components/script/script_task.rs | |
parent | b036bee532fafe3733eb3cb2ccad98fa85c23a92 (diff) | |
parent | ab5bf8044703630430da64a553aed21abb96432f (diff) | |
download | servo-1657a142cc3020a27eb061cb8b5ae5550d7dd004.tar.gz servo-1657a142cc3020a27eb061cb8b5ae5550d7dd004.zip |
auto merge of #2405 : Ms2ger/servo/active_timers, r=jdm
Diffstat (limited to 'src/components/script/script_task.rs')
0 files changed, 0 insertions, 0 deletions