log dep/mini/ini.h @ 207:9d9e6242dd1a

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