log

age author description
Wed, 27 Sep 2023 11:34:52 +0200 Georges Racinet rust-index: optim note for post-scaffolding removal
Thu, 02 Nov 2023 11:16:13 +0100 Raphaël Gomès rust-index: check that the entry bytes are the same in both indexes
Sat, 30 Sep 2023 16:15:56 +0200 Georges Racinet rust-index: return variables systematic naming convention
Fri, 29 Sep 2023 15:51:49 +0200 Georges Racinet rust-index: results comparison helper with details
Wed, 27 Sep 2023 10:59:04 +0200 Georges Racinet rust-index: helper for revision not in index not involving nodemap
Wed, 18 Oct 2023 19:54:18 +0200 Georges Racinet rust-index: renamed nodemap error function for rev not in index