mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Remove rtinstrument (fixes #4600).
The code has been disabled during the last rust upgrade, and has not found an owner. Since the next rust upgrade will bitrot it even more, it is better to remove it for now. If anyone wishes to restore it, the code remains in version history.
This commit is contained in:
parent
024571dfa3
commit
ee4c56bd8b
4 changed files with 6 additions and 218 deletions
|
@ -51,8 +51,6 @@ pub mod opts;
|
|||
pub mod persistent_list;
|
||||
pub mod range;
|
||||
pub mod resource_files;
|
||||
// FIXME: Find replacement for this post-runtime removal
|
||||
// pub mod rtinstrument;
|
||||
pub mod smallvec;
|
||||
pub mod sort;
|
||||
pub mod str;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue