Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #3662 : mukilan/servo/worker_timer, r=jdm

Browse source 
Closes issue #3236
This commit is contained in:
bors-servo 2014-10-15 20:48:22 -06:00
commit f94228d9f9
11 changed files with 261 additions and 185 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/lib.rs
View file

@ -218,3 +218,4 @@ pub mod html {
pub mod layout_interface;
pub mod page;
pub mod script_task;
mod timers;