eiffelstudio-public - Revision 107776: /branches/eth/auto-fix/Src/Eiffel/interface/graphical/tools/formatter/class

• ..
• es_class_tool.e
• es_class_tool_commander_i.e
• es_class_tool_panel.e
• es_class_tool_view_modes.e