diff .jshintrc @ 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 bdd2e18b54c5
children
line wrap: on
line diff