eiffelstudio-public - Revision 107750: /branches/eth/es-i18n/Src/Eiffel/interface/new_graphical/widgets/configuration/properties

• ..
• directory_location_property.e
• file_location_property.e
• file_rule_property.e
• key_file_property.e