Summary

Resource types for managing settings in INI files