ini文件有什么用