log libnumdb2/Makefile @ 275:def9f6e4f49e default tip

age author description
Mon, 14 Aug 2023 14:16:07 -0800 Mychaela Falconia libnumdb2: port check_short.c