log dep/mini/ini.h @ 226:f784b5b1914c

age author description
Fri, 03 Nov 2023 14:06:02 -0400 Paper *: multitude of config changes