mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Added more complex profiling metadata.
This commit is contained in:
parent
787a683365
commit
6bc63d47cd
10 changed files with 123 additions and 69 deletions
|
@ -27,6 +27,7 @@ extern crate sync;
|
|||
extern crate task_info;
|
||||
extern crate std_time = "time";
|
||||
extern crate string_cache;
|
||||
extern crate url;
|
||||
|
||||
pub mod atom;
|
||||
pub mod bloom;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue