diff contrib/check-config.py @ 50419:3894763d92f8

rustdoc: nodemap doc refreshing Not pretending to be comprehensive. - correcting some inconsistencies - adding a few missing doc-comments - adding more cross references (in some cases it's right beside the current documentation item, but it will nevertheless also be useful, because `rustdoc` will warn us if inconsistencies arise).
author Georges Racinet <georges.racinet@octobus.net>
date Mon, 03 Apr 2023 16:29:30 +0200
parents 6000f5b25c9b
children 493034cc3265
line wrap: on
line diff