diff tests/test-extdiff.t @ 51254: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 7d908ee19b5b
children d1b54c152673 51057ab0dffa
line wrap: on
line diff