diff rust/hg-cpython/src/ref_sharing.rs @ 51251:f94c10334bcb

rust-index: renamed `MixedIndex` as `Index` It is simply not mixed any more, hence the name had become a future source of confusion.
author Georges Racinet on incendie.racinet.fr <georges@racinet.fr>
date Sun, 29 Oct 2023 12:18:03 +0100
parents 6b7aef44274b
children f90796d33aa0
line wrap: on
line diff