mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
auto merge of #3730 : glennw/servo/taskpool, r=pcwalton
r? @pcwalton - Is this the kind of thing you were thinking of in terms of task queue?
This commit is contained in:
commit
4795e9cf0b
4 changed files with 84 additions and 23 deletions
|
@ -51,6 +51,7 @@ pub mod str;
|
|||
pub mod task;
|
||||
pub mod tid;
|
||||
pub mod time;
|
||||
pub mod taskpool;
|
||||
pub mod vec;
|
||||
pub mod workqueue;
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue