log dep/mini/ini.h @ 175:9b10175be389

age author description
15 months ago Paper *: multitude of config changes