diff rust/rhg/src/ui.rs @ 51193:f95f70cf2ee2

rust-index: check rindex and cindex return the same get_rev This is a temporary safeguard while we synchronize both indexes.
author Rapha?l Gom?s <rgomes@octobus.net>
date Thu, 29 Jun 2023 11:37:19 +0200
parents 532e74ad3ff6
children 22d24f6d6411
line wrap: on
line diff