eiffelstudio-public - Revision 107765: /branches/eth/eve/Src/framework/auto_fix/ui
..
es_eve_autofix_exception.e
es_eve_autofix_fixing_suggestion.e
es_eve_autofix_result.e
es_eve_code_diff_hunk.e