log utils/themwi-update-numdb.c @ 15:a24f0794ab4d default tip

age author description
Wed, 13 Dec 2023 02:01:24 +0000 Mychaela Falconia themwi-update-numdb compiles in the new model
Wed, 13 Dec 2023 01:23:47 +0000 Mychaela Falconia themwi-update-numdb: old source as starting point