eiffelstudio-public - Revision 107754: /branches/Eiffel_71/Src/compatible/library/preferences

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