##// 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
/ mercurial / testing
__init__.py Loading ...
revlog.py Loading ...
storage.py Loading ...