eiffelstudio-public - Revision 107750: /branches/Eiffel_56/Src/library/preferences

• ..
• interface/
• preference_resource_manager.e
• preferences.e
• registry_implementation/
• resource/
• structure/
• xml_implementation/