diff Makefile @ 51192:65c9032e2e5a

rust-index: synchronize append method We now append to the Rust index just as we do to the C index. Future steps will bring the two indexes further together until we can rip the C index entirely when running Rust code.
author Raphaël Gomès <rgomes@octobus.net>
date Tue, 27 Jun 2023 18:24:54 +0200
parents 0f0880c8a7e5
children 87bfd1703597
line wrap: on
line diff