diff tests/test-check-interfaces.py @ 51217:898674a4dbc7

rust-index: headrevsfiltered() returning Rust result
author Georges Racinet <georges.racinet@octobus.net>
date Fri, 29 Sep 2023 20:51:49 +0200
parents 642e31cb55f0
children ceaf92d6d380
line wrap: on
line diff