diff options
| author | bors-servo <metajack+bors@gmail.com> | 2014-10-15 20:48:22 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2014-10-15 20:48:22 -0600 |
| commit | f94228d9f95327aac987103806b6ed452c96f16a (patch) | |
| tree | c51b4c4d4fb3c8342b7e5537067b798ab0724f14 /components/script/lib.rs | |
| parent | b83352f7eb511ca2e993e1cc92504f41363ccc95 (diff) | |
| parent | 0d7e13f646cdf156a11cb406c800b3d5d6b1eb5e (diff) | |
| download | servo-f94228d9f95327aac987103806b6ed452c96f16a.tar.gz servo-f94228d9f95327aac987103806b6ed452c96f16a.zip | |
auto merge of #3662 : mukilan/servo/worker_timer, r=jdm
Closes issue #3236
Diffstat (limited to 'components/script/lib.rs')
| -rw-r--r-- | components/script/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/lib.rs b/components/script/lib.rs index 03662371e0c..8053937f275 100644 --- a/components/script/lib.rs +++ b/components/script/lib.rs @@ -218,3 +218,4 @@ pub mod html { pub mod layout_interface; pub mod page; pub mod script_task; +mod timers; |