eiffelstudio-public - Revision 107750: /branches/Eiffel_15.12/Src/framework/file_formats/ini/io
..
ini_document_reader.e
ini_document_writer.e