diff doc/gendoc.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 a932cad26d37
children 76387080f238
line wrap: on
line diff