eiffelstudio-public - Revision 107750: /branches/Eiffel_17.01/Src/Eiffel/fix
..
application/
fix_factory.e
fix_missing_local_type.e
fix_unused_local.e