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
This commit is contained in:
@@ -13,8 +13,7 @@
|
||||
*
|
||||
* Strings are a packed UTF-8 representation of text, stored as null
|
||||
* terminated buffers of u8 bytes. Strings should be indexed in bytes,
|
||||
* for efficiency, but UTF-8 unsafe operations should be avoided. For
|
||||
* some heavy-duty uses, try extra::rope.
|
||||
* for efficiency, but UTF-8 unsafe operations should be avoided.
|
||||
*/
|
||||
|
||||
use at_vec;
|
||||
|
||||
Reference in New Issue
Block a user