log dep/mini/ini.h @ 123:a45edd073f9e

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