log dep/mini/ini.h @ 140:1e696863b54c

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