eiffelstudio-public - Revision 107683: /trunk/Src/Eiffel/override
..
ec_eiffel_layout.e