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

• ..
• interface/
• preference/
• preference_manager.e
• preferences.e
• preferences_reg-safe.lic
• preferences_reg.ecf
• preferences_reg.lic
• preferences_xml.ecf
• storage/