What does a .ini file do?