rename order_statistic_tree -> ditto_tree

alex-shapiro / ditto

CRDTs for common data structures like maps, vecs, sets, text, and JSON

Apache License 2.0

476 stars 22 forks source link

Closed alex-shapiro closed 6 years ago