##// END OF EJS Templates
rust-index: renamed `MixedIndex` as `Index`...
rust-index: renamed `MixedIndex` as `Index` It is simply not mixed any more, hence the name had become a future source of confusion.
Georges Racinet on incendie.racinet.fr -
r52147:f94c1033 default
Show More
Name Size Modified Last Commit Author
/ rust / rhg / src / utils
path_utils.rs Loading ...