Skip to content

Commit 01833de

Browse files
committed
remove extra::rope
It's broken/unmaintained and needs to be rewritten to avoid managed pointers and needless copies. A full rewrite is necessary and the API will need to be redone so it's not worth keeping this around. Closes #2236, #2744
1 parent 3e933b1 commit 01833de

File tree

3 files changed

+1
-1445
lines changed

3 files changed

+1
-1445
lines changed

src/libextra/extra.rs

-1
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,6 @@ pub mod deque;
7474
pub mod fun_treemap;
7575
pub mod list;
7676
pub mod priority_queue;
77-
pub mod rope;
7877
pub mod smallintmap;
7978

8079
pub mod sort;

0 commit comments

Comments
 (0)