eiffelstudio-public - Revision 107750: /branches/eth/auto-fix/Src/Eiffel/ecosystem/services/output_manager

• ..
• output_i.e
• output_manager_kinds.e
• output_manager_observer.e
• output_manager_s.e