log dep/mini/ini.h @ 201:8f6f8dd2eb23

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