mte/tools
swrup 1d0d36c2b9 JJ: Description from the destination commit:
different verify for master sigs

JJ: Description from source commit:
.
2026-02-21 23:07:24 +01:00
..
dbinit.sh add dbinit.sh 2026-02-10 22:11:52 +01:00
dune add --output-pubkey option; use cmdliner for gana script 2026-02-17 14:38:07 +01:00
gen_registry_files.ml add --output-pubkey option; use cmdliner for gana script 2026-02-17 14:38:07 +01:00
offline.ml add --output-pubkey option; use cmdliner for gana script 2026-02-17 14:38:07 +01:00
offline_impl.ml JJ: Description from the destination commit: 2026-02-21 23:07:24 +01:00
recfile_parser.ml add --output-pubkey option; use cmdliner for gana script 2026-02-17 14:38:07 +01:00